http://martijn.van.steenbergen.nl/journal/2008/05/31/dollar/ Just another WordPress site Mon, 13 May 2013 18:02:27 +0000 hourly 1 http://wordpress.org/?v=3.4.1 http://martijn.van.steenbergen.nl/journal/2008/05/31/dollar/#comment-241 Douglas McClean Sun, 28 Feb 2010 05:04:37 +0000 http://martijn.van.steenbergen.nl/journal/?p=122#comment-241 Similarly, I was surprised recently to learn that (.) is just fmap for the reader (aka ((->) e)) monad. I assume that the first and second proposed reasons (better documentation, possibly better error messages in some cases) are the reasons for the more restrictive type for (.) :: (b -> c) -> (a -> b) -> (a -> c) as well. Similarly, I was surprised recently to learn that (.) is just fmap for the reader (aka ((->) e)) monad. I assume that the first and second proposed reasons (better documentation, possibly better error messages in some cases) are the reasons for the more restrictive type for (.) :: (b -> c) -> (a -> b) -> (a -> c) as well.

]]>