LINUX.ORG.RU

Agda


18

0

Всего сообщений: 10

См. также:

 

Вышла Agda 2.5.1

Группа Open Source

Чистый функциональный язык программирования и система интерактивного доказательства Agda обновилась до версии 2.5.1.

Некоторые изменения:

  • представлена официальная пользовательская документация;
  • с помощью прагмы HASKELL можно добавлять к модулю произвольный код на Haskell;
  • многочисленные изменения в области метапрограммирования и рефлексии;
  • исправлены некоторые ошибки в бекэндах:
    • теперь нет необходимости указывать {-# COMPILED_DATA #-} для встроенных типов Bool, Int, Float и других;
    • клозы функций с разной арностью компилируются корректно;
    • поддержка co-patterns в бекэндах GHC/UHC;
  • поддержка Utrecht Haskell Compiler (UHC) в качестве бекэнда.

>>> Подробности

 ,

ymn ()

Еще новости

2014

Форум

2018

2016

2015

2013

2013

2012

2011