PL的part B结束啦。
话说这一部分其实基本上就是搞清楚了两件事情,一是理解了lazy evaluation,二是通过写一个toy interpretater,彻底理解了closure这个东西。
我之前还说其实不完全理解closure是啥,结果这下算是真的理解了。什么比自己动手实现一个语言特性能够更好的帮助你理解这个语言特性呢?
当然写这个解释器,除了搞清楚closure,还有一个实现了递归以外,除此之外就没啥了,别的功能都比较简单的。
最后比较有价值的是Dan讲的静态/动态类型,强/弱类型的问题,基本上听过之后就不会混淆这些概念了。包括他以前提过的编译器/解释器的问题,感觉他特别会抓痛点,一些很多人纠结的概念他三言两语就讲明白了,听着收获蛮大的。