Neden ikisi de (^ 2) xs ve map (2 ^) xs Haskell'de beklendiği gibi çalışıyor?

Question

Neden

map (^2) [1..10] 

eser ve ayrıca

map (2^) [1..10] 

çalışır?

Sadece ikisi için değil, yalnızca bunlardan biriyle çalışmasını beklerdim.

Ben haritası [1..10] tüm elemanları üzerinde ilerlerken ve sonra map (^2) [1..10] için

[1^2, 2^2, 3^2, ...] 

yapacağını düşündü. Daha sonra map (2^) [1..10] verildiğinde, bir sintaks hatası veya bir şey vereceğini umuyorum, çünkü daha önce değil, ^'dan sonra numaralara ihtiyaç duyacaktır.

Answer 1

Haskell dilbilgisi "operatör bölümleri" olarak adlandırılan böyle bir yapı için özel destek sağlar.

(#$%) = \x y -> x #$% y 
(#$% y) = \x -> x #$% y 
(x #$%) = \y -> x #$% y 

Yani bunun kırmak için bazı matematiksel tutarlılık bekliyoruz ve Haskell Forth gibi minik bir dil olsaydı, ben eğimli olacaktır: Eğer herhangi bir infix operatörü varsa, böyle #$% demek, o zaman aşağıdaki notasyon desteklenmektedir sezgilerinizi kabul etmek. Çalışmasının nedeni temelde "çünkü böyle çalışmayı yazdılar".

(O belirsizliği azaltmak için de eklendi - f + xf iki argüman uygulanan demek, ya da aslında biz eski temsil, nasıl ikincisi anlamına geldiği için + iki argüman uygulanan demek Cevap: kullanarak? () bir operatör bölümü tanıtmak.)

Answer 2

(2 ^), bir parametre alan ve çağıran yeni bir işlev oluşturur (2^parametresi). Bu bir dolandırıcılık yöntemidir.

İşte bunun arkasında teorisi ile bir bağlantı: Partial Application(Haskell.org)

Answer 3

Haskell bu ((2^)f(x) = 2^x gibi f(x) = x^2 olarak (^2)) matematiksel gösterimde yorumlar böylece ^ bir çatı ve çatı operatör olduğunu bilir.