Type-driven Development with Idris 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
Edwin Brady 作者
Manning Publications
译者
2017-3-31 出版日期
480 页数
USD 49.99 价格
Paperback
丛书系列
9781617293023 图书编码
Type-driven Development with Idris 在线电子书 图书标签: idris pl 计算机科学 编程语言 计算机
喜欢 Type-driven Development with Idris 在线电子书 的读者还喜欢
-
Types and Programming Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 -
Essentials of Programming Languages, 3rd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
计算的本质 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Lambda-Calculus and Combinators 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Real World Haskell 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Linkers and Loaders 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Learn You a Haskell for Great Good! 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Real World OCaml 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Algorithms 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
The Little Schemer - 4th Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
下载链接在页面底部
点击这里下载
发表于2024-11-05
Type-driven Development with Idris 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Type-driven Development with Idris 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Type-driven Development with Idris 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
Type-driven Development with Idris 在线电子书 用户评价
评分
没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
评分主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。
评分主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。
评分主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。
Type-driven Development with Idris 在线电子书 著者简介
Type-driven Development with Idris 在线电子书 图书目录
Type-driven Development with Idris 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
Type-driven Development with Idris 在线电子书 图书描述
Type-driven Development with Idris 在线电子书 读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Type-driven Development with Idris 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
在线电子书 pdf 下载
在线电子书 epub 下载
在线电子书 mobi 下载
在线电子书 txt 下载
Type-driven Development with Idris pdf 电子书 下载链接
Type-driven Development with Idris pdf 电子书 下载链接
Type-driven Development with Idris 在线电子书 相关图书
-
深入理解PHP 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Principles of Program Analysis 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
コーディングを支える技術 ~成り立ちから学ぶプログラミング作法 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
JAVA 2实用教程（第二版） 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
像计算机科学家一样思考C++ 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Foundations for Programming Languages 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Delphi精要 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Ruby设计模式 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
JavaScript Application Design 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
C程序员精通Perl 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Delphi程序设计教程 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Parsing Techniques 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
F# for Scientists 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
JSP程序设计 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
JAVA2核心编程(第1卷):基础篇(第6版,影印版) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Expert .NET 2.0 IL Assembler 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Flash ActionScript3.0编程技术教程 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
PHP+Ajax Web 2.0编程技术与项目开发大全 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
数据结构（第2版） 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
全国青少年信息学联赛培训教材 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
