Agda как язык программирования [закрыто]

Closed. Этот вопрос не по теме. В настоящее время ответы не принимаются.

Хотите улучшить этот вопрос?Обновите вопрос, чтобы он соответствовал темепереполнения стека.

Закрыта в прошлом году.

Я нашел много полезной информации об использовании Agda в качестве системы доказательств. Я практически не нашел информации об использовании Agda для написания полезных программ. Я даже не могу найти пример «hello world», который компилируется с самой последней версией Agda.

Итак,

Есть ли хорошие учебники по Agda как языку программирования?
Существуют ли другие языки аналогичного характера (ленивая функциональная зависимая типизация), которые имеют более зрелую документацию по их использованию в качестве языка программирования? (Я нашел тонны отличной документации по Coq, но, опять же, не «Hello World»).

agda documentation

задан Connor 10 May 2014 в 21:21

0 ответов

Другие вопросы по тегам:

agda documentation

Agda как язык программирования [закрыто]

0 ответов

Похожие вопросы: