
28 Sep
2006
28 Sep
'06
3:55 p.m.
(.) :: a -> (a -> b) -> b x.f == f x
Looks like a parallel of (>>=). Sounds interesting and useful, but why hijack dot? Would work nicely with record gettor functions (but not the settors).
Greg
Tim Newsham http://www.thenewsh.com/~newsham/