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

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

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