另外这个书虽然讲了不少范式，多是在程序组织和运行方面的，比如几种实现多态方式的对比，积极求值与延迟求值对比，有限表和无穷流对比，过程描述和约束求值对比，不同解释策略和编译对比等等，看起来内容真的很多了，但缺少现代编程语言不可忽略的一个大块——类型检查，特别是静态类型。可以说对类型就涉及不多，对更复杂的类型继承、泛型类型甚至协变之类就更不会有。联系实际的时候就能感觉到那种距离感。
【 在 snoopyzhao 的大作中提到: 】
: 赞大佬的解释！
: 解了我长久以来的困惑……
:
: ...................
--
FROM 221.221.156.*