genel fonksiyon bileşimi

Question

I here okurken, ve fark, bu, örneğin, aşağıdaki işlev tanımları varsa:

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

aşağıdaki ifade geçersiz olup:

(b . a) 2 3 

Kompozisyonun işlevlerinin sadece bir parametresi olması oldukça garip.

Bu kısıtlama, Haskell'deki en genel olanı tanımlamak veya başka bir nedeniniz var mıdır?

Haskell'e yeni geldim, bu yüzden işe yaramaz sorular soruyorum.

Answer 1

a 2 3'u yaptığınızda, 2 argümana a uygulanmazsınız. Aslında sadece bir argümana a uyguluyorsunuz, bu da bir fonksiyonla sonuçlanıyor, o zaman bu fonksiyonu alıp 3'e uyguluyorsunuz. Yani aslında 2 uygulama yapıyorsunuz. Sen btw

(b . a 2) 3