[Haskell-cafe] Applicative do?

[Robert Atkey]

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.