如果 haskell 中的每個 function 都是咖喱的，那我怎么不能創建部分對？

Question

菜鳥在這里。 我不確定每個 function 是否應該被咖喱（但這就是我的感覺）。

如果確實是這樣，那怎么會

(,) 1

拋出錯誤？ 它不應該返回一個 function 當應用於另一個值時給出一個元組？

Answer 1

(,) 1怎么會報錯？ 它不應該返回 function [...]嗎？

這兩個都可能是真的。

λ> let f = (,) 1 in f 2
(1,2)

但由於函數沒有Show實例，只需鍵入(,) 1會引發錯誤：

λ> (,) 1

<interactive>:4:1: error:
    • No instance for (Show (b0 -> (Integer, b0)))
        arising from a use of ‘print’
        (maybe you haven't applied a function to enough arguments?)
    • In a stmt of an interactive GHCi command: print it