Рубрики
Мысли в слух

#Вавилон_нашей_эры Сегодня поговорим о…

#Вавилон_нашей_эры

Сегодня поговорим о том, какие выводы делает компилятор. А он их делает и постоянно. Кстати, если ты не помнишь или не знаешь, что такое компилятор, советую сначала заглянуть сюда.

Итак, речь пойдет о механизме вывода типов. Иногда программист в явном виде говорит компилятору — это число, это строка, это кошка, это собака. А иногда разработчики начинают ленится и спихивают необходимость разбираться в типах на компилятор. Такое возмутительное поведение возможно благодаря алгоритму Хиндли — Милнера. Весь прикол заключается в том, что основан он на построении и решении специальной системы уравнений. Так что не зря ты учил это все в школе.

О чем рубрика?