Talk:Monad (functional programming): Difference between revisions

Revision as of 13:16, 27 March 2007

Revision as of 14:52, 27 March 2007

Line 135:

should be<br />

'''(return x) >>= f ≡ return (f x)'''<br /> <small>—The preceding [[Wikipedia:Sign your posts on talk pages|unsigned]] comment was added by [[Special:Contributions/129.29.227.4|129.29.227.4]] ([[User talk:129.29.227.4|talk]]) 13:16, 27 March 2007 (UTC).</small><!-- HagermanBot Auto-Unsigned -->

:I don't think so...if '''x''' has type '''a''', and '''f''' has type '''a -> m b''', then '''return x >>= f''' will have type '''m b''', the same as '''f x'''. '''return (f x)''', on the other hand, will have type '''m (m b)''', since return has type '''a -> m a'''. [[User:Nick8325|Nick8325]] 14:52, 27 March 2007 (UTC)