haskell - () 在 Haskell 中是什么意思

Question

在我遇到的一些 Haskell 代码中:

put :: s -> m ()

() 是什么意思是这里的意思吗？

我会使用搜索引擎，但找不到能处理 () 的搜索引擎正确。

Answer 1

()意思是“无聊”。它意味着包含一件事的无聊类型，也很无聊。将无聊类型的一个元素与另一个元素进行比较并没有什么有趣的收获，因为没有什么可以通过对无聊类型的元素给予任何关注来了解它。

它与空类型非常不同，在 Haskell Void 中被称为(我希望人们选择了一个更好的名字，就像我建议的那样) .空的类型非常令人兴奋，因为如果有人给了你一个属于它的值(value)，你就知道你已经死了，在天堂，你想要的任何东西都是你的。

但是如果有人给你一个值 () ，不要激动。把它扔掉。

有时使用由“元素类型”参数化的类型构造函数并用 () 填充参数是很有趣的。 .您可以看到类型构造函数中固有的信息，而不是来自元素。例如，Maybe ()是 Bool 的一个版本, 与 Just ()或 Nothing .另外，[()]等于(可能是无限的)自然数:您拥有的唯一信息是长度。

所以，()意思是“无聊”，但它通常是在其他地方发生有趣事情的线索。