如何解决仅包含布尔单元和空隙的类别中的所有箭头
这实际上是程序员类别理论的挑战#6-Chapter 2,而这个问题是this other question I asked some time ago的后续行动:
绘制一个类别的图片,该类别的唯一对象是类型
Void
,()
(单位)和Bool
;带有对应于这些类型之间所有可能功能的箭头。用功能名称标记箭头。
这是连接我更确定的三种对象/类型的箭头/功能的列表:
- 4 functions
Bool -> Bool
-
true = const True :: () -> Bool
-
false = const False :: () -> Bool
-
ignore = const () :: Bool -> ()
-
absurd :: Void -> ()
-
absurd :: Void -> Bool
-
id :: () -> ()
-
id :: Void -> Void
必须存在,因为我们在谈论类别,对吧? - 其他两个东西都没有
Void
的任何内容,因为它是初始对象,对吧?
这是正确的答案吗?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。