The Little Typer（Daniel P. Friedman， David Thrane Christiansen）（The MIT Press 2018）
内容简介：
书名：The Little Typer
出版社：The MIT Press
作者：Daniel P. Friedman, David Thrane Christiansen
出版年份：2018
电子书格式： pdf
简介：《The Little Typer》是由Daniel P. Friedman和David Thrane Christiansen编写的经典教材，出版于2018年，由MIT出版社发行。此书深入浅出地介绍了类型理论和函数式编程的基本概念，适合对编程语言设计和理论感兴趣的读者。通过一系列有趣的例子和挑战，读者将逐步掌握类型系统的核心思想。多考网提供免费下载，帮助读者更好地理解和应用类型理论。
ISBN：9780262536431, 02625
出版社：The MIT Press
作者：Daniel P. Friedman, David Thrane Christiansen
出版年份：2018
电子书格式： pdf
简介：《The Little Typer》是由Daniel P. Friedman和David Thrane Christiansen编写的经典教材，出版于2018年，由MIT出版社发行。此书深入浅出地介绍了类型理论和函数式编程的基本概念，适合对编程语言设计和理论感兴趣的读者。通过一系列有趣的例子和挑战，读者将逐步掌握类型系统的核心思想。多考网提供免费下载，帮助读者更好地理解和应用类型理论。
ISBN：9780262536431, 02625
下载地址：
猜你喜欢：
![火星移民指南（[美]诺伯特·克莱弗特（Norbert Kraft） & [荷]詹姆斯·卡斯（James R.Kass） & [加]雷伊·卡斯（Raye Kass））（2018）](https://yanxuan.nosdn.127.net/4864741b71ce98ee748ee3105e4ac581.jpeg)
