David Tran’s blog

{-
flip :: (a -> b -> c) -> b -> a -> c
flip f x y = f y x
-}

because:
flip (flip f) x y
<=> (flip f) y x
<=> f x y

so,
flip (flip f) == f

This entry was posted on Tuesday, June 5th, 2007 at 5:02 pm and is filed under Haskell - SOE. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.