[wg-camlp4] A new branch to experiment with extension points

Alain Frisch alain.frisch at lexifi.com
Fri Mar 8 08:19:32 GMT 2013


On 03/08/2013 12:01 AM, David Waern wrote:
> Would it be a crazy idea to replace expr by seq_expr in attributes and
> extensions? That would allow a more light-weight monadic notation:
>
> [%do a; b; c <-- d; f c; ...]

This is an excellent idea!  It is now committed.

Thanks for suggestion,

Alain

> which could be useful where begin[%monad] ... end would be too verbose,
> typically when embedding small fragments of monadic code inside
> non-monadic code.
>
> I think it's nice to make overloading the semi-colon light-weight (this
> way, without needing parentheses) for other use-cases as well (e.g
> literals for custom list types).
>
> Or does this cause any problems that I've overlooked?



More information about the wg-camlp4 mailing list