30 Oct
2006
30 Oct
'06
7:50 a.m.
On 10/30/06, Donald Bruce Stewart
I'm reminded of some of the things from the old Gofer CC prelude,
http://www.cse.unsw.edu.au/~dons/data/cc.prelude
(@@) :: Monad m => (a -> m b) -> (c -> m a) -> (c -> m b) f @@ g = join . map f . g
Do we have some references in the literature (a Mark Jones paper perhaps?)
Indeed. "Functional Programming with Overloading and Higher-Order Polymorphism": http://web.cecs.pdx.edu/~mpj/pubs/springschool.html Page 31. Josef Svenningsson