<div dir="ltr">In <i><a href="http://learnyouahaskell.com/higher-order-functions">Learn You...</a> </i>I'm seeing this<div><br></div><div>flipA :: (a -> b -> c) -> b -> a -> c<br>flipA f x y = f y x<br></div><div><br></div><div>and this</div><div><br></div><div>flipB :: (a -> b -> c) -> b -> a -> c  <br>flipB f = \x y -> f y x<br></div><div><br></div><div>What is it specifically about currying that makes flipA possible? Also, with flipB, could someone explain the beta reduction? It looks like f is not being acted on, just passed along, Would it look more like this in lambda calculus?</div><div><br></div><div>(\x \y -> f y x)</div><div>then</div><div>(\x \y -> f y x) g a b </div><div><br></div><div>gives</div><div><br></div><div>g b a  ?</div><div><br></div><div>LB</div></div>