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

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