仅包含布尔单元和空隙的类别中的所有箭头

问题描述

这实际上是程序员类别理论的挑战＃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 (将#修改为@）