История изменений
Исправление iVS, (текущая версия) :
Т.е. они считают, что если компейлятор проверяет типы, то типы есть, а если не проверяет то типов нету(ну или есть только 1 тип). Это болезнь часто развивается у адептов строгой типизации и чистых функций.
Каждый адепт строгой типизации и чистых функций знает об алгоритме типизации Хиндли — Милнера, а «компейлятор проверяет типы» в любом языке со статической типизацией. Пожалуйста, не пиши больше такого бреда.
Исходная версия iVS, :
Т.е. они считают, что если компейлятор проверяет типы, то типы есть, а если не проверяет то типов нету(ну или есть только 1 тип). Это болезнь часто развивается у адептов строгой типизации и чистых функций.
Каждый адепт строгой типизации и чистых функций знает об алгоритме типизации Хиндли — Милнера. «Компейлятор проверяет типы» в любом языке со статической типизацией. Пожалуйста, не пиши больше такого бреда.