是什麼（）在Haskell

Question

意味着在一些Haskell代碼我碰到：

put :: s -> m() 

什麼是()這裏的意思？

我會使用搜索引擎，但我找不到正確處理()的人。

Answer 1

如果不是因爲怪異的特殊語法，可以把它定義爲

data() =() 

這是關於最無聊的類型存在。語法應該讓你想到元組：(a,b)是一對，(a,b,c)是一個三元組等，()是一個0元組。唯一缺少的是1元組，它不能使用該語法，因爲它會與通常使用的括號發生衝突。

()經常被用作沒有有趣結果的結果。例如，應該執行某些I/O並終止而不產生結果的IO操作通常會有IO()類型。當你需要一些無趣的輸入時也可以使用它; GHC有這種特殊的語法，但在Haskell 98模仿Lisp的cond的方法是這樣的：

case() of 
() | c1 -> e1 
    | c2 -> e2 
    ... 
    | otherwise -> e3 

這是完全有效的，但也非常無聊，問()你有型的什麼價值;只有一個你可以擁有的合法的一個。

從「Haskell-as-almost-category」的角度來看，()是一個最終對象。也就是說，對於任何類型的X，都有正好一個類型X ->()的合法功能，即​​。從另一個方向看，Void型pigpersoner提到的是初始對象。對於任何類型的X，都有正好一個類型Void -> X的合法功能，即absurd。如果你處於分類推理的情緒中，初始和最終對象可能會有用。

Answer 2

它被稱爲"unit type"。在某些方面，你可以把它看作是Haskell的相當於void。這是一種只有一個值的類型（也是()）。

Answer 3

有很好的搜索引擎專門爲Haskell。

http://hayoo.fh-wedel.de/?query=()會給你立即正確答案：

Data()
GHC-整潔-GHC.Tuple

---

單位數據類型 ()有一個非未定義的成員，默認構造 ()。

Answer 4

()表示「無聊」。它意味着無聊的類型，它包含一件事情，也很無聊。通過比較無聊類型的一個元素和另一個元素來獲得沒有什麼有趣的東西，因爲沒有任何關於無聊類型的元素的任何關於它的知識。

它與Haskell Void中稱爲（由我希望選擇一個更好的名字的人喜歡我所建議的名稱）的空類型非常不同。空的類型是非常令人興奮的，因爲如果有人給你一個屬於它的價值，你就知道你已經死了，在天堂裏，你想要的就是你的。

但是如果有人給你一個價值()，別激動。把它扔掉。

有時採用通過「元素類型」進行參數化的類型構造函數很有趣，並使用()填充參數。您可以看到類型構造函數中固有的信息，而不是來自元素。例如，Maybe()是Bool的版本，其中Just()或Nothing。另外，[()]等於（可能是無限的）自然數：您擁有的唯一信息是長度。

因此，()的意思是「乏味」，但它往往是一個線索，有趣的事情發生在別的地方。