Здравствуйте, awson, Вы писали:

A>Вы с какой Луны свалились? Сегодня говорить о системе Хиндли-Милнера в применении к Хаскеллу — все равно, что уподоблять, к примеру, Лаурин-Клемент 1904 года Макларену MP4-21.
Только разница в том, что по твоей аналогии Макларен MP4-21 будет еле ползать и будет перегружен бесполезными для болида f1 функциями — 7 сиденьями, возможность использования в качестве кареты скорой помощи и интегрированную систему противоракетной обороны. Но при этом все равно обладать теми самыми ограничениями, о которых говорит VladD2.

A>Недавно GHC был переведен на system Fc, что позволило реализовать еще и type-indexed data types и устаканить все сложные взаимодействия между упомянутыми возможностями.
По-моему это просто небольшие, инкрементальные изменения. Причем непонятно чего и для кого. Я не так давно смотрел данные опросов — пользователям GHC это все просто не нужно. То что им нужно, разработчикам GHC улучшать не особо и интересно — они же занимаются чистой наукой.

VD>>Ну, мы уже наблюдали как Хаскель сливает Немерлу .
A>Немерл ... мухаха. Детский лепет.

“First they ignore you, then they laugh at you, then they fight you, then you win.”