Вышел GHC 7.4.1 – новый релиз компилятора функционального языка программирования Haskell. Это первый релиз стабильной ветки 7.4, которая станет основой для будущих версий платформы Haskell. Предыдущая ветка 7.2 была скорее полигоном для новых идей.
Основные изменения по сравнению с веткой 7.0:
- Класс типов Num более не наследуется от классов Eq и Show. Как следствие, многие функции получили явные ограничения Eq и Show.
- Новая возможность Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe). Позволяет ввести более строгую проверку безопасности типов во время компиляции, а также служит для компиляции и выполнения «ненадёжного» кода.
- Новая возможность полиморфизм видов (kind polymorhphism) (-XPolyKinds).
- Новая возможность виды-ограничения (constraint kinds) (-XConstraintKinds). Любой тип вида Constraint может использоваться как ограничение типа.
- Теперь можно задавать любые объявления в строке ввода ghci.
- Реализации профилирования и hpc (проверки покрытия кода программ) были объединены и капитально переработаны.
- Теперь можно писать плагины для компилятора.
- Поддержка DPH (Data Paralell Haskell) значительно улучшена.
- Предварительная поддержка регистровой (registerised) компиляции для платформы ARM, использующей LLVM.
>>> Подробности