我如何計算（> 0）的類型？

Question

每當我有一個部分應用其左參數的運算符部分時，即：

(0 >)

我只是簡單地以前綴形式重寫運算符並繼續計算：

(>) 0

如何計算部分應用其正確參數的運算符部分的類型？

Answer 1

對於(>) ，沒關系，因為兩個參數具有相同的類型。 從Ord a => a -> a -> Bool中刪除Ord a => a ，剩下的就是Ord a => a -> Bool 。

通常，您只需刪除與應用參數對應的類型。 例如，給定(??) :: Int -> Char -> Bool ，

-- with the Int argument supplied, you still need a Char
(x ??) == (\y -> x ?? y) :: Char -> Bool
-- with the Char argument supplied, you still need an Int
(?? y) == (\x -> x ?? y) :: Int -> Bool