11
這是一個新的數據類型定義：在haskell中，什麼：+：數據類型定義中的意思是什麼？
data Total a = Total a :+: Total a
|...
是什麼：+：平均在這種類型的定義是什麼？
A
回答
9
這是一個用infix形式編寫的數據構造函數。如果以:開頭，則可以將操作員作爲構造函數。
+5
要輕描淡寫地說，'：'是一個大寫的符號：D –
+0
爲什麼會有：after +？ – Sam
+0
請注意，從GHC 7.6起，TypeOperators擴展現在將所有中綴運算符視爲「大寫」。 （打破使用中綴運算符作爲類型變量的現有代碼...） –
相關問題
- 1. Haskell的定義是什麼意思？
- 2. Haskell - Ord類型是什麼意思？
- 3. Haskell中的'：'是什麼意思？
- 4. Haskell中的（：=）是什麼意思？
- 5. Haskell中的實例是什麼意思？
- 6. haskell中的「＆」是什麼意思？
- 7. Elasticsearch中的「類型」是什麼意思？
- 8. 什麼是「類* CLS」在C++中的函數定義是什麼意思？
- 9. Haskell類型系統中的`Num a => a`是什麼意思？
- 10. 抽象類型定義中的「+」是什麼意思？
- 11. 這個類型定義中的「單元」是什麼意思？
- 12. 在類的endclass定義中，類的對象是什麼意思？
- 13. 是什麼意思：是什麼意思？
- 14. 參數化類型是什麼意思？
- 15. 什麼`... |類型聲明中的b - > c是什麼意思？
- 16. MSysQueries中的數據是什麼意思？
- 17. 什麼？在C＃中是什麼意思？
- 18. 是什麼意思，在Python中是什麼意思？
- 19. C++中數據類型之後的符號'^'是什麼意思？
- 20. 「聲明中的重複數據類型」是什麼意思？
- 21. 泛型中的「遞歸類型綁定」是什麼意思？
- 22. 在Ruby類中定義的普通變量是什麼意思？
- 23. __vfptr類型的`*`是什麼意思？
- 24. 什麼意思：在x86中是什麼意思？
- 25. stepSimulation中的「step」是什麼意思？Bullet Physics中的參數是什麼意思？
- 26. 「整型」是什麼意思？
- 27. &&在C++中的參數類型是什麼意思？
- 28. 類圖中的「a」是什麼意思？
- 29. cv :: Scalar類型是什麼意思？
- 30. CONFIGRET返回類型是什麼意思？
它在標準Haskell中無效。這是一個奇怪的GHC擴展:) – singpolyma
@singpolyma：它是標準的[Haskell 98語法]（http://www.haskell.org/onlinereport/syntax-iso.html）（請參閱_consym_製作）。畢竟，列表的'：'構造函數只是這個的一個特例。也許你正在考慮'TypeOperators'？ – hammar
@hammar噢，嗯，我正在考慮'TypeOperators'。我不知道用數據構造函數的操作符是標準的。這很醜陋。通常醜陋的東西是擴展名:) – singpolyma