蒹葭苍苍,白露为霜。
所谓伊人,在水一方。

Type-driven Development with Idris – pdf – 电子书免费下载

Type-driven Development with Idris - pdf -  电子书免费下载

内容提要:

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.

ISBN:1617293024

年份:2017

总页数:480

语言:English

文件大小:10.7 MB

文件格式:PDF

下载:关注本站公众号(右侧二维码),在 个性化-联系客服 中输入本文链接可获取文件下载链接。

赞(0) 打赏
未经允许不得转载:酷居科技 » Type-driven Development with Idris – pdf – 电子书免费下载

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

锦瑟无端五十弦,一弦一柱思华年

酷居科技联系我们

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏