类型

• 类型是让所有不同背景的人都能高效沟通的元语言
• Hindley-Milner
• free theorems
  • https://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf
• Haskell 的 Hoogle 支持基于函数类型搜索
• Lightweight higher-kinded polymorphism
  • https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf