История изменений
Исправление hateyoufeel, (текущая версия) :
Впиливание в хачкель зависимых типов сделает его только инженерно сложнее, а использовать все ети фичи будут 2.5 борщевара, пусть уж лучше остаётся таким как есть.
Я периодически ковыряю исходники GHC. Зависимые типы вряд ли что-то сделают сильно сложнее. А возможно даже это упростит реализацию каких-то вещей.
Хотя, опять же, частично зависимые типы можно заменить прикрученным SMT-солвером через какой-нибудь Liquid Haskell. С его помощью в base, помнится, баги находили.
Исходная версия hateyoufeel, :
Впиливание в хачкель зависимых типов сделает его только инженерно сложнее, а использовать все ети фичи будут 2.5 борщевара, пусть уж лучше остаётся таким как есть.
Я периодически ковыряю исходники GHC. Зависимые типы вряд ли что-то сделают сильно сложнее. А возможно даже это упростит реализацию каких-то вещей.