fonksiyonlarının bileşimi (\ b -> f (g) (g b)) kapsayan ortak bir model f

Question

kompozisyon ve g

f :. g = \a b -> f (g a) (g b) 

benim kodunda çok sık bulmak bir kalıptır benziyor. Bu tekli işlev bileşimine benzer, sadece f ikili ve onlar f geçirilen önce ben her iki argüman uygulanan g istiyorum. Ben noktadan serbest formuna bu dönüştürmek için lambdabot sorduğumda

, ben doğrusu benim kodunda olurdu değil garip büyü kelimelerini

olsun, ben de açıkça desen dışarı yazma sona .

bu durum için bir bağdaştırıcının yazma yaygın kabul görmüş bir yolu var mı? Yoksa kendimi bu durumda kendimi bulmak için çok mu garip miyim?

Şu an kullandığım zamana dair gerçek bir örneğim yok, çünkü ne zaman ihtiyacım olduğunda burayı sormayı hiç düşünmedim, ama öklid uzaklık formülünü çok düzgün bir şekilde yazmayı hayal edebiliyordum. şöyle:

distance = sqrt . (+) :. (^2) 

Answer 1

Bu fonksiyon Data.Function modülünde on denir.

Genellikle böyle sqrt . (+) `on` (^2) olarak, telkin kullanılır.

Answer 2

noktası serbest stilde yazmaya çalışmayın. Bu, noktadan arınmış olmanın sıklıkla okunabilir olmadığı gerçeğinin bir örneğidir.

sadece thusly tanımlıyoruz:

(:.) :: (b -> b -> c) -> (a -> b) -> (a -> a -> c) 
infixr 9 (:.) 
f :. g x y = f (g x) (g y)