Mercury 14.01
Ещё 10 февраля вышла новая версия языка Mercury — 14.01. Мажорные релизы называются по номеру года и месяца запланированного выпуска, предыдущий был 13.05.
Mercury — это логический и функциональный язык программирования, похожий на Prolog, но с поддержкой компиляции в машинный код, чистыми предикатами, со строгой статической типизацией, явным объявлением детерминизма предикатов, с функциями (а не только предикатами), встроенным каррированием и другими новшествами.
В новой версии:
Могут повторяться переменные типов в объявлении экземпляров классов типов (type class instances). Например: instance foo (list (T), map (T, T)). Ряд улучшений в стандартной библиотеке, особенно связанных с функциями свёртки списков (см. полный список). Исправлены проблемы совместимости с GCC 4.8 (а также с Visual Studio 2013 и Mac OS X 10.9).>>> Сайт Mercury >>> Скачать
logical programming, mercury, prolog, программирование, функциональщина
