最佳答案
我开始深入研究依赖类型编程,发现 Agda 和 Idris 语言最接近 Haskell,所以我从那里开始。
我的问题是: 它们之间的主要区别是什么?类型系统在两者中是否具有同样的表现力?如果能进行一次全面的比较和关于收益的讨论就太好了。
我发现了一些:
编辑 : 在这个问题的 Reddit 页面上有更多的答案: < a href = “ http://www.Reddit.com/r/depent _ types/comments/q8n2q/agda _ vs _ idris/”rel = “ norefrer”> http://www.Reddit.com/r/dependent_types/comments/q8n2q/agda_vs_idris/