类型
约 1 分钟阅读
- 类型是让所有不同背景的人都能高效沟通的元语言
- Hindley-Milner
- free theorems
- Haskell 的 Hoogle链接hoogle.haskell.org类型是让所有不同背景的人都能高效沟通的元语言 · Hindley-Milner · free theorems · https://ttic.uchicago.edu/dreyer/course/papers/wadler.pdf · Haskell 的 Hoogle 支持基于函数类型搜索笔记：类型 支持基于函数类型搜索
- Lightweight higher-kinded polymorphism
关联信息
反向链接、本文链接的其他页面和外部资料。
参考资料
其他外链3 条
- hoogle.haskell.orghoogle.haskell.org/
- ttic.uchicago.edu/~dreyer/course/papers/wadler.pdfttic.uchicago.edu/~dreyer/course/papers/wadler.pdf
- www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdfwww.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf