這個haskell方法的聲明

Question

我試圖理解Haskell，我有一個問題：這個函數是什麼類型，以及如何調用它。

two f(a,b) = f a b 

Answer 1

如果我們舉個例子，Int類型的參數，那麼two類型是這樣的：

two :: (Int -> Int -> Int) -> (Int, Int) -> Int 
two f (a,b) = f a b 

例如：

two (*) (3,4) 
12 

說明：

你正在接受一個函數，它帶有兩個參數(Int -> Int -> Int)和元組(Int, Int)並將該函數應用於a和b。

的實際類型，而不是限制的時候，其實是這樣的：

:t two 
two :: (t1 -> t2 -> t) -> (t1, t2) -> t 

因此，例如，其他的事情都是可能的：

two (++) ("he","llo") 
"hello" 

（等等等等）