Ещё 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).