[Haskell-cafe] Applicative do?

Robert Atkey bob.atkey at ed.ac.uk
Fri Oct 9 13:11:45 EDT 2009

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:

   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.


The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the Haskell-Cafe mailing list