2
A
回答
7
Eq a是一個所謂的類約束。這意味着代替a的類型需要實現Eq類型類型。
在像Java這樣的編程語言中，這就像實現接口一樣。
您可能已經猜到Eq提供了功能==和/=。 如果你有一個以上的約束類型簽名看起來像
fun :: (Ord a, Bounded a) => ...
看什麼類型類提供了你可以看看上hackage文件或運行:info Ord內GHCI
相關問題
- 1. a >> = b是什麼意思？
- 2. <a href="#">Click here</a>是什麼意思？
- 3. 數據（ - >）a b是什麼意思？
- 4. 什麼是ocaml類型'a。 'a - >'是什麼意思？
- 5. memset（foo-> a + foo-> b，0，10）是什麼意思？
- 6. Haskell類型系統中的`Num a => a`是什麼意思？
- 7. 這是什麼意思？ >> ActionController :: InvalidAuthenticityToken
- 8. {< >}是什麼意思？
- 9. 「ptr = ptr - > next」這是什麼「 - >」是什麼意思？ （C++）
- 10. 「outer =>」是什麼意思？
- 11. 這個JavaScript運算符是什麼意思？ >>>
- 12. 這是什麼意思（計算中的<< and > >>）？
- 13. `^^^`和`〜>`是什麼意思？
- 14. 「 - >」是什麼意思？
- 15. 什麼是（int - > int） - >（int - > int）是什麼意思？
- 16. struct decay <T，R（A ...，...）>是什麼意思
- 17. > +和> - 是什麼意思在C＃
- 18. >>和0xfffffff8是什麼意思？
- 19. 「somevar >> 0」是什麼意思？
- 20. href表達式<a href="javascript:;"></a>做什麼？
- 21. Haskell - 所有功能的形式A - > A - > - - > A
- 22. 這個鏈接有什麼問題？ <a href="#"onclick="getNextPage();">next></a>
- 23. 這裏「2>＆1」是什麼意思？
- 24. 這是什麼意思？ <variable> ==「」
- 25. PHP，$ this - > {$ var} - 這是什麼意思？
- 26. 這是什麼意思。 => in rails
- 27. FaultContract <T> - 這是什麼意思？
- 28. 「=>」是什麼意思？
- 29. 「 - >」是什麼意思？
- 30. <+>是什麼意思？
大廈直覺：如果是一個東西可以進行比較，然後給出一個與之相比較的列表，並且函數名稱是elem（element），通常可以猜測fn從類型簽名和名稱中做了什麼。 – Carbon