Idris Elba Reveals He Wants To Stop Acting So He Can Be A Director Fully How People Rect His Knightship Exclusive
Agda 和 idris 两种编程语言哪个设计得更好（差）一点？ 以前断断续续学过很短时间的 idris，已经模糊了当年的痛苦；如今在学 agda（看文档＋实践，没看书），感觉 agda 特别好用。 性能上 idris 2 也非常可疑，所谓“更适合编程”一开始是个宏大愿望，现在也只是挽尊之语，编程方面的库也是 lean 4 现在更完备。 Idris 和 haskell 还是有很多区别的，学 idris 前必须学 haskell 的言论就像学 c++ 前必须学 c 一样搞笑。 另外推荐下 idris2，idris 目前唯一的优势就是 ide 支持暂且比 idris2 丰富了 (不过你可.
Idris Elba to stop acting “eventually to transfer to being a director
Also Read:
:max_bytes(150000):strip_icc():focal(756x295:758x297)/Idris-Elba-121025-126831cdfadc4818992a4bb7abe4867e.jpg)
:max_bytes(150000):strip_icc():focal(999x0:1001x2)/idris-elba-hijack-season-2-010826-2-6e0f759e9b114e6cacb5e8560a440754.jpg)
