История изменений
Исправление hateyoufeel, (текущая версия) :
Дополняя, хачкель же противоречив как žopa, Type : Type, прибитый Y, импредикативности, ну впилят они зависимые типы, так всё равно же шляпа получится.
Это вполне ожидаемо, учитывая возраст языка. Тот же C++ за сравнимое время (он появился на каких-то 5 лет раньше Haskell) превратился в куда худшего монстра.
Я, в общем-то, не спорю с недостатками, но в данный момент Haskell is good enough. На Haskell 2.0, если такой появится, никто писать не будет, как никто на Idris сейчас не пишет.
P.S. Что не так с Type in Type? Раньше было куда хуже.
Исходная версия hateyoufeel, :
Дополняя, хачкель же противоречив как žopa, Type : Type, прибитый Y, импредикативности, ну впилят они зависимые типы, так всё равно же шляпа получится.
Это вполне ожидаемо, учитывая возраст языка. Тот же C++ за сравнимое время (он появился на каких-то 5 лет раньше Haskell) превратился в куда худшего монстра.
Я, в общем-то, не спорю с недостатками, но в данный момент Haskell is good enough. На Haskell 2.0, если такой появится, никто писать не будет, как никто на Idris сейчас не пишет.