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