由于这(至少在我看来)与编程紧密相关,所以我在这里而不是在数学或CS上询问,但是如果您认为它最适合那里或另一方面,请提出您的意见。
在Bartosz Milewski的《程序员分类理论》的第二章结尾处,有一个问题:
从
Bool
到有多少种不同的功能Bool
?你能全部实现吗?
这是我的理由:
Bool
其中只有两个元素,True
并且False
;Int
asarg1 + arg2
和和编码为2的arg2 + arg1
函数将是fromInt
到to的相同函数Int
),它们将如何处理;Bool
s中的一个到两个s中的另一个Bool
的功能:
T
至 T
T
至 F
F
至 T
F
至 F
我的推理正确吗?
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句