Перейти до вмісту

Agda

Матеріал з Вікіпедії — вільної енциклопедії.
Agda
Парадигмапрограмування чистофункціональнеd Редагувати інформацію у Вікіданих
Дата появи2007 Редагувати інформацію у Вікіданих
РозробникТехнологічний університет Чалмерса Редагувати інформацію у Вікіданих
Останній реліз
Система типізаціїстрога типізація, manifest typingd, залежна типізаціяd, статична, nominative typingd і вивід типів Редагувати інформацію у Вікіданих
Під впливом відRocq, Epigramd і Haskell Редагувати інформацію у Вікіданих
Мова реалізаціїHaskell Редагувати інформацію у Вікіданих
Операційна системаWindows і UNIX-подібні операційні системи Редагувати інформацію у Вікіданих
ЛіцензіяЛіцензія BSD Редагувати інформацію у Вікіданих
Звичайні розширення файлів.agda або .lagda Редагувати інформацію у Вікіданих
Репозиторій вихідного кодуgithub.com/agda/agda Редагувати інформацію у Вікіданих
Вебсайтwiki.portal.chalmers.se/agda/pmwiki.php Редагувати інформацію у Вікіданих

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


Посилання

[ред. | ред. код]