Type-driven Development with Idris

Type-driven Development with Idris pdf epub mobi txt 电子书 下载 2025

出版者:Manning Publications
作者:Edwin Brady
出品人:
页数:480
译者:
出版时间:2017-3-31
价格:USD 49.99
装帧:Paperback
isbn号码:9781617293023
丛书系列:
图书标签:
  • idris 
  • pl 
  • 计算机科学 
  • 编程语言 
  • 计算机 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。

评分

主要讲实际操作,干货满满,讲解非常清楚,几乎手把手的程度。少有提及理论,全部写成附注,只给关键概念和参考文章,简明扼要。 书中示例代码附有文本框形式的注解,作者的github上还有所有代码和练习题答案下载。

评分

没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。

评分

主要讲实际操作,干货满满,讲解非常清楚,几乎手把手的程度。少有提及理论,全部写成附注,只给关键概念和参考文章,简明扼要。 书中示例代码附有文本框形式的注解,作者的github上还有所有代码和练习题答案下载。

评分

主要讲实际操作,干货满满,讲解非常清楚,几乎手把手的程度。少有提及理论,全部写成附注,只给关键概念和参考文章,简明扼要。 书中示例代码附有文本框形式的注解,作者的github上还有所有代码和练习题答案下载。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有