2
Различия между Агдой и Идрисом
Я начинаю погружаться в программирование с зависимой типизацией и обнаружил, что языки Agda и Idris наиболее близки к Haskell, поэтому я начал там. Мой вопрос: каковы основные различия между ними? Являются ли системы типов одинаково выразительными в обеих из них? Было бы здорово провести всеобъемлющий сравнительный анализ и обсудить преимущества. …
165
agda
type-theory
idris