在读"The Little Typer"的豆瓣成员

25人参与评价  · · · · · ·

9.3

力荐
84.0%
推荐
4.0%
还行
8.0%
较差
0.0%
很差
4.0%

每周参与评价的人数(最近3个月内)

深海有大鱼

2020-07-21

Bender

2020-07-18

正义的伙伴

2020-07-31      tags: 计算机科学 FP

语言简单,知识简单。看到了pi类型,同时在在其他书里看到了lambda演算里的pi类型。

typedef

2020-06-16

噫

2020-03-01

expye

2019-11-26      tags: 类型系统

浅海

2019-09-30      tags: 类型系统 计算机

一直感觉Fieldman的书是“高山滚石”式的布局的典范,前期节奏平缓注重体系的自洽和对读者的引导,后半则信息量很大却又水到渠成

叶大白

2019-09-27

ItTrivial

2020-03-29

茶壶

2019-07-10      tags: 类型系统 计算机科学

xxchan

2020-04-29

好看

饭团

2019-04-24

delta

2019-03-05

Milo

2019-02-10

oyanglul.us

2018-12-14      tags: FP DependentType

这种叙事方式看着好分裂

zxygentoo

2018-12-12

谷幽😷

2019-02-22      tags: 编程 计算机科学

什么时候能理解Dependent types 类型系统啊

AbnerZheng

2019-01-13      tags: 类型系统

不是自己想要的东西

The Little Typer
作者: Daniel P. Friedman David Thrane Christiansen Duane Bibby Robert Harper Conor Mcbride
isbn: 9780262536431
书名: The Little Typer
页数: 424
定价: GBP 30.00
出版社: MIT Press
出版年: 2018-10-16
装帧: Paperback

去"The Little Typer"的页面