2
Różnice między Agdą a Idrisem
Zaczynam zagłębiać się w programowanie zależne i odkryłem, że języki Agda i Idris są najbliższe Haskellowi, więc zacząłem tam. Moje pytanie brzmi: jakie są główne różnice między nimi? Czy systemy typów są jednakowo ekspresyjne w obu z nich? Byłoby wspaniale mieć kompleksowe porównanie i dyskusję na temat korzyści. Udało mi …
165
agda
type-theory
idris