静态类型的话，这个有哪方面的书可以看？

类型问题，这个感觉语言免不了呀。不知道函数式如何

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