性能上 idris 2 也非常可疑，所谓“更适合编程”一开始是个宏大愿望，现在也只是挽尊之语，编程方面的库也是 lean 4 现在更完备。 · idris 和 haskell 还是有很多区别的，学 idris 前必须学 haskell 的言论就像学 c++ 前必须学 c 一样搞笑。 另外推荐下 … Agda 和 idris 两种编程语言哪个设计得更好（差）一点？ 以前断断续续学过很短时间的 idris，已经模糊了当年的痛苦；如今在学 … · 说个最简单易懂的： agda和idris都支持rewrite，但是agda的rewrite是pattern的一部分，是desugar成dot …
Idris Elba The Price Of Fame His Honest Take On Actings Art Challenges Triumphs
性能上 idris 2 也非常可疑，所谓“更适合编程”一开始是个宏大愿望，现在也只是挽尊之语，编程方面的库也是 lean 4 现在更完备。 · idris 和 haskell 还是有很多区别的，学 idris 前必须学 haskell 的言论就像学 c++ 前必须学 c 一样搞笑。 另外推荐下 … Agda 和 idris...
