Вышла новая версия GHC 7.6.1 — одного из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.
Основные изменения:
- polymorphic kinds и data promotion полностью реализованы, Kind polymorphism;
- реализована поддержка платформы Windows 64bit;
- флаг -fdefer-type-error позволяет отложить обнаружение ошибок типов в рантайме, Deferring type errors to runtime;
- опцию RTS -N возможно изменять в рантайме с помощью Control.Concurrent.setNumCapabilities, RTS options for SMP parallelism;
- новое расширение ExplicitNamespaces, которое разрешает ограничивать экспорт типов с ключевым словом type;
- изменено поведение расширения TypeOperator;
- добавлена возможность вывести экземпляры Generic1 автоматически, Generic programming;
- новое соглашение о вызовах FFI capi, включаемое через расширение CAPI;
- новая прагма CTYPE, используемая с CAPI;
- новое расширение InstanceSigs, которое разрешает типам сигнатур быть специфицированными в instance;
- GHC поддерживает числовые и строковые (включаемые через DataKinds) и символьные литералы, Promoted Literals;
- тип Any может быть использован как аргумент для foreign prim functions;
- ключевое слово mdo вновь введено. Оно может быть использовано для создания do-выражения с рекурсивными привязками. Поведение ключевого слова rec было изменено;
- новая синтаксическая конструкция (включаемая через расширение LambdaCase) для создания анонимной функции из case-выражения, Lamda-case;
- исправление ошибок и улучшение производительности.
>>> Подробности
