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

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