ML系的语言、Haskell 都把类型系统做重点。看 rust 也行，很实际的类型系统。一般人是没必要读TAPL那种专著。
【 在 saynothing 的大作中提到: 】
: 静态类型的话，这个有哪方面的书可以看？
:
: 类型问题，这个感觉语言免不了呀。不知道函数式如何
: ...................
--
修改:milksea FROM 114.254.9.*
FROM 114.254.9.*