fmap çatal işlevleri aşağıdaki şekilde fonksiyonlarını oluşturmak isteyen

Question

:

compose (==) (myReverse . myReverse) id [1..100] 

Ben böyle bir şeyle basitleştirilmiş olabileceğini düşünüyorum: Biz şu şekilde kullanabilirsiniz Böylece

compose :: (a->b->c) -> (d->a) -> (d->b) -> d -> c 
compose f g h x = f (g x) (h x) 

'fmap', böylece 'bestelemek' hiç tanımlamamalı. Ama bunu nasıl yapacağımı anlayamadım. Muhtemelen çok Control.Arrow kullanabilirsiniz

s f g x = f x (g x) 

:

Answer 1

Eğer işlevlerine (==) <$> (myReverse . myReverse) <*> id $ [1..100]

<*> uzman S-combinator eşdeğerdir yazabilir, o zaman, Control.Applicative Yani

compose f g h = f <$> g <*> h 

aktarırsanız :

compose f g h = g &&& h >>> uncurry f 
test = uncurry (==) <<< (myReverse <<< myReverse) &&& id $ [1..100] 

Güncelleme

Ben #haskell aynı soruyu en lambdabot sordunuz ve o sadece liftM2 cevap verdi. : D