从Bool到Bool有多少种不同的功能？

问题描述

由于（至少在我看来）这与编程紧密相关，所以我在这里而不是在math或cs上提问，但是如果您认为它最适合那里或那里另一方面，请发表您的看法。

在Bartosz Milewski的程序员分类理论的第二章结尾处，有一个问题：

从libMobileGestalt到Bool有多少种不同的功能？你能全部实现吗？

这是我的理由：

• Bool中只有两个元素，Bool和True；
• different 是指被视为黑匣子的函数，无论它们内部发生了什么（例如，两个函数将两个False的和编码为Int和arg1 + arg2分别是从arg2 + arg1到Int的相同函数）；
• 所以不同的功能是从两个Int中的一个到两个Bool中的另一个的功能：
  1. Bool至T
  2. T至T
  3. F至F
  4. T至F
• 我需要什么功能来实现那些出入场景？好吧，我想我只需要两个，例如恒等函数（允许1和4）和取反（允许2和3）。

我的推理正确吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）