Agda

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

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


Мова програмування Це незавершена стаття про мови програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.

Посилання

  • Офіційний сайт
  • Agda [Архівовано 4 лютого 2020 у Wayback Machine.] на сайті Free Software Directory[en]
  • Agda на Quora
  • Agda [Архівовано 22 вересня 2020 у Wayback Machine.] на StackOverflow
  • п
  • о
  • р
Низькорівневі
Високорівневі
Загального
призначення
Серверні
Запитів до баз
даних[суперечливо 1]
Розмітки та векторної
графіки[суперечливо 1]
Синхронні[en]
  • Lustre[en]
Символьних та
чисельних обчислень
Квантових обчислень
Логічні
  • Mercury[en]
  • Prolog
Академічні
Езотеричні
  1. ↑ а б Немає загальноприйнятого рішення, чи вважати усі ці мови саме мовами програмування