FMAP कांटा कार्यों

Question

मैं निम्नलिखित तरीके से काम करता है रचना करना चाहते हैं:

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

ताकि हम निम्नलिखित तरीके से इसका इस्तेमाल कर सकते हैं:

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

मुझे लगता है कि यह की तरह कुछ के साथ सरल किया जा सकता है 'fmap', ताकि इसे 'compose' को परिभाषित करने की आवश्यकता न हो। लेकिन मैं यह समझने में नाकाम रहा कि यह कैसे करना है।

Answer 1

आप Control.Applicative

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

तो आयात करते हैं, तो, यदि आप लिख सकते हैं (==) <$> (myReverse . myReverse) <*> id $ [1..100]

<*> विशेष कार्य के लिए S-combinator के बराबर है:

s f g x = f x (g x) 

आप शायद Control.Arrow भी उपयोग कर सकते हैं :

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

अद्यतन

मैं #haskell वही सवाल पर lambdabot पूछा है और वह बस liftM2 जवाब दे दिया। : डी