汎用の機能構成ウ

Question

私は こちらの, は、気がつくと、例えばしている場合は、以下の機能の定義:

a :: Integer->Integer->Integer
b :: Integer->Bool

以下の表現です 無効:

(b . a) 2 3

これは怖いと感じるので、この機能の組成だけパラメータとします。

この制限もあるので問題を定義するもっとも一般的にウまたはその他の理由がありますか？

私は新しいウるだけではいかない。

Answer 1

だけど、 a 2 3, しませんの応用 a 2つの引数になります。いを実際に適用し、 a で唯一の引数、機能、その機能を適用する3.いう2つの願います。そういった意味で、そのままと等価ではありませんこ

a :: (Integer, Integer) -> Integer
b :: Integer -> Integer
(b . a) (2, 3)

きっすね

(b . a 2) 3