Re: [Haskell-cafe] Applicative do?

On Fri, 2009-10-09 at 18:06 +0100, Philippa Cowderoy wrote:

This leads us to the bikeshed topic: what's the concrete syntax?

I implemented a simple Camlp4 syntax extension for Ocaml to do this. I chose the syntax: applicatively let x = foo let y = bar in <pure stuff> I quite like the word "applicatively". Your overloading suggestion sounds to me like it would require the desugaring process to know something about types, but I'm not sure. Bob -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.