【发布时间】：2019-11-26 10:38:12
【问题描述】：
In Haskell, all the types form a category named Hask。
函数类型就是类型。
是否所有函数类型都形成Hask 的子类别？
所有非函数类型都构成Hask的子类别吗？
我认为这两个答案都是肯定的。但我不知道我是否正确。
【问题讨论】：
-
当你试图写下对象、箭头和组合的定义并试图证明组合是关联的时发生了什么？如果它刚刚奏效，那太好了，你有你的答案。如果您定义了这三件事并发现构图不具有关联性，那太好了，您就有了答案。如果您尝试过，但在某个地方卡住了，很好，您可以通过向我们展示您完成了多远以及为什么无法取得进一步进展来改进您的问题。但是，如果您甚至没有尝试……那么，这个问题不适合这个论坛。
标签： haskell types programming-languages computer-science category-theory