这是一个创建于 2841 天前的主题，其中的信息可能已经有所发展或是发生改变。
 |
1
douglarek OP 国际惯例，自沙
|
 |
2
stonymoon 2018 年 4 月 6 日 via Android
这本书我看了前两章，然后就开始怀疑我的智商了..
|
 |
3
aminic 2018 年 4 月 7 日 via Android
华山论剑吃瓜必备
|
 |
4
scnace 2018 年 4 月 7 日 via Android
加个 B 站的公开课链接 av8515129 （一起看效果会好点
|
 |
5
glues 2018 年 4 月 7 日
很久之前看了几章，全忘了。。。
搞起搞起 |
 |
6
gnaggnoyil 2018 年 4 月 7 日
这首 Hindley-Milner 之歌,送给在座的所有无类型 lambda 演算废物们.png
|
 |
7
SoulClinic 2021 年 10 月 31 日
看了前几章, 感觉离"茅塞顿开"就有点"八九不离十"了
感觉翻译得不算很灵活, 有点呆板(甚至错漏) 希望能回到小学刚接触乘除法那种新鲜感和好奇心 |
Select Language