3 Aug
2007
3 Aug
'07
10:37 a.m.
On 8/3/07, Jules Bean
do a <- m b <- n l a x b y
becomes
l (<- m) x (<- n) y
Couldn't this be best done with McBride and Patterson's Applicative idiom notation? So the above would become [[l m (pure x) n (pure y)]] (or something like that) It would have the advantage of being usable with any Applicative, not just Monads. -- Dan