图书标签: idris pl 计算机科学 编程语言 计算机
发表于2024-12-23
Type-driven Development with Idris pdf epub mobi txt 电子书 下载 2024
没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分主要讲实际操作,干货满满,讲解非常清楚,几乎手把手的程度。少有提及理论,全部写成附注,只给关键概念和参考文章,简明扼要。 书中示例代码附有文本框形式的注解,作者的github上还有所有代码和练习题答案下载。
评分没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分
评分
评分
评分
Type-driven Development with Idris pdf epub mobi txt 电子书 下载 2024