2 Matching Annotations
- Dec 2022
-
www.zhihu.com www.zhihu.com
-
为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
康托尔著名的对角线证明？
-
为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？
康托尔著名的对角线证明？