Question

для чего необходимо в программе определять тип переменной

Answer 1

чтобы "компьютер" знал, сколько на эту переменную надо отвести места, и что с этой переменной можно делать.

Однако существуют языки, в которых тип переменной определяется уже после того, как переменной присвоили значения (например, язык Python) или вовсе без типов (ассемблер).