Agda

Agda - вільна функціональна мова програмування створена 2007 року, під впливом Coq, Epigram та Haskell.

Agda
Парадигма purely functional programmingd
Дата появи 2007
Останній реліз 2.6.2 (19 червня 2021)[1]
Система типізації строга типізаціяd, manifest typingd, dependently typed programmingd, статичнаd, nominative typingd і вивід типів
Під впливом від Coq, Epigramd і Haskell
Операційна система Microsoft Windows і UNIX-подібні операційні системи
Ліцензія Ліцензія BSD
Звичайні розширення файлів .agda або .lagda
Репозиторій вихідного коду github.com/agda/agda
Вебсайт wiki.portal.chalmers.se/agda/pmwiki.php

Посилання
  • Офіційний сайт
  • Agda на сайті Free Software Directory
  • Agda на Quora
  • Agda на StackOverflow                                                                                                                                                                                       

                                                                                                                                                                                       

  1. Release 2.6.2 — 2021.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.