![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg&w=640&q=50)
Agda
З Вікіпедії, безкоштовно encyclopedia
Agda - вільна функціональна мова програмування створена 2007 року, під впливом Coq, Epigram[en] та Haskell.
![]() |
Це незавершена стаття про мови програмування. Ви можете допомогти проєкту, виправивши або дописавши її. |
Коротка інформація Парадигма, Дата появи ...
Agda | |
---|---|
![]() | |
Парадигма | purely functional programmingd |
Дата появи | 2007 |
Останній реліз | |
Система типізації | строга типізація, manifest typingd, dependent typingd, статична, nominative typingd і вивід типів |
Під впливом від | Coq, Epigramd і Haskell |
Мова реалізації | Haskell |
Операційна система | Windows і UNIX-подібні операційні системи |
Ліцензія | Ліцензія BSD |
Звичайні розширення файлів | .agda або .lagda |
Репозиторій вихідного коду | github.com/agda/agda |
Вебсайт | wiki.portal.chalmers.se/agda/pmwiki.php |
Закрити