26 Aug
2009
26 Aug
'09
5:20 p.m.
On Wed, Aug 26, 2009 at 12:04 PM, Martijn van Steenbergen < martijn@van.steenbergen.nl> wrote:
Another example is parsing: I believe Doaitse's parsers allow more optimization if they are only used in applicative style (but I'm not sure of this).
That is correct. When you glue together P_m's applicatively the applicative P_f 'future' parser can be used, but when you use it monadically the context sensitive parts are glued together using the monadic P_h 'history' parser. -Edward Kmett