Agda
Перейти до навігації
Перейти до пошуку
| Agda | |
|---|---|
 | |
| Парадигма | purely functional programmingd |
| Дата появи | 2007 |
| Останній реліз | 2.6.2.2 (2 квітня 2022)[1] |
| Система типізації | строга типізаціяd, manifest typingd, dependent typesd, статична, nominative typingd і вивід типів |
| Під впливом від | Coq, Epigramd і Haskell |
| Операційна система | Microsoft 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
- ↑ Release 2.6.2.2 — 2022.
Категорії:
- Мови програмування
- Вільні компілятори та інтерпретатори
- Функціональні мови програмування
- Haskell
- Статично-типізовані мови програмування
- Вільне програмне забезпечення написане мовою програмування Haskell
- Мови програмування з залежними типами
- Багатоплатформне вільне програмне забезпечення
- Технічний університет Чалмерса
- Академічні мови програмування
- Мови програмування зі співставленням з шаблоном