3 Aug
2007
3 Aug
'07
2:40 p.m.
On 8/3/07, Simon Peyton-Jones
| Couldn't this be best done with McBride and Patterson's Applicative | idiom notation?
Does anyone have a pointer to a stand-alone description of "full-scale idiom notation". S
The full paper is here: http://www.cs.nott.ac.uk/~ctm/Idiom.pdf Is that what you want? It would be sweet to have the generality of Applicatives. I find the examples of vectorised arithmetic and expression evaluators in that paper quite compelling, besides the use of Applicatives as an alternative way to talk to monads. -- Dan