这是一个创建于 2904 天前的主题，其中的信息可能已经有所发展或是发生改变。
 | 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