Idris 教程中文版正式发布

Idris 教程中文版正式发布

经过一个月(并不)紧张的翻译和校对,Idris 教程FAQ 正式发布。 自此,官方文档的翻译暂时告一段落。ST 教程 的翻译仍在进行中。

官方文档中还有 Effect 教程、定理证明和语言参考尚未翻译,然而咱目前又有了别的计划(没错 Idris-zh 又坑了),于是甩锅给社区自然发展好了= =||

Idris 虽然非常漂亮,然而发展还不成熟,缺少一些常用的库和工具。目前她还十分小众,因此 Type-Driven Development with Idris 中文版的引进估计是不可能了。官方教程涉及的点较少,有些不够深入,对初学者也不如这本书友好。因此有条件和能力的读者建议读一下这本书。

如果你有兴趣继续参与翻译,欢迎直接戳咱,随时恭候~!


Update:

常见问题解答(FA♂Q) - Idris-zh 1.2.0 文档

FA♂Q 翻译完毕,呃..有点放飞自我= =

编辑于 2018-03-30

文章被以下专栏收录