改进 The Little Typer
很多人听我高度评价《The Little Schemer》等书，可是最后也许发现其实看不懂。原因是这些书虽然是精心编写，但还是有比较大的缺点的。至于它们具体是什么缺点，我却不好说出来。我只是在我自己的书里和课程里去掉了这些缺点。我的书和课程肯定还是有缺点，我会不断地发现和改进它们。
后来的这本《The Little Typer》，讲一种非常高级的类型系统叫 dependent type，它具有证明数学定理的能力，能更严格地确保程序的正确性。虽然比起其它dependent type 的教程好了很多，但这本书也有类似的缺点。我觉得里面的例子和描述都不必要的复杂，书中使用的 Pie 语言的设计也比较繁琐。所以如果你不怀着”破解“它的心理，而只是跟随书中的思路，很可能会觉得摸不着头脑。通过上一次进阶班（2022…
