Haskell'ın fonksiyon uygulama operatörü Onun aşağıdaki işlevi tanımlar burada Bartosz Milewski tarafından bir parça okuyorum

Question

($) kullanımı:

instance Applicative Chan where 
    pure x = Chan (repeat x) 
    (Chan fs) <*> (Chan xs) = Chan (zipWith ($) fs xs) 

Neden parantez içinde fonksiyon uygulama operatörüdür? Bunun normalde bir önek gösterimi formunda bir infix işlevini kullanmak için yapıldığını anlıyorum, fakat nedenini anlamıyorum, bu durumda işlev sadece Chan (zipWith $ fs xs) olarak ifade edilemedi ve aradaki farkın ne olduğunu merak ediyorum ikisi.

(hala bağlamı gerekiyorsa, article bakınız) Bu durumda

Answer 1

, $zipWith için geçirilir ediliyor. Bu parantez olmadan

zipWith (\ f x -> f x) fs xs 

yazma aynıdır, öyle typecheck gitmiyor

zipWith (fs xs) 

eşdeğer olurdu.

Parantez içindeki bir işleç, normal bir tanımlayıcı gibi davranır. kod `Chan (zipWith id fs xs)` olarak yazılmıştır eğer her hangi bir basit olurdu

zipWith apply fs xs