Если вы читали что-то о языках программирования, то наверняка не раз наткнулись на упоминание типизации. Что это такое и что об этом нужно знать, когда выбираешь язык программирования? Типизация — это то, как язык распознаёт типы переменных. Типизация определяет, нужно ли вам писать тип, или язык «поймёт» его сам, и насколько свободно можно с типами работать: например, можно ли их менять. А что такое типы? В переменную можно записывать информацию, а тип переменной описывает, какая именно информация записана в переменной и что с ней можно делать...

Что такое системы типов, чем они отличаются? Читайте подробное объяснение.