Partial Expression proposal

Mike Samuel mikesamuel at
Wed Dec 27 19:09:44 UTC 2017

On Wed, Dec 27, 2017 at 1:43 PM, Tamás Halasi <trusted.tomato at> wrote:
> It's like the functional application proposal, just for any expression. It
> would improve

This sentence ends abruptly.  What would this proposal improve?

> See the proposal:
> What are your thoughts?

Is this lambdas with De Bruijn indices?

The proposal says
"""The ? token is used in conditional expressions, but its not
ambiguous, because in this proposal, a ? cannot follow an expression,
while in a conditional expression it always does."""

You have ?? and ??? for referring to outer layers.  Is there no ambiguity there?

  ? ? ? : ?

may not be ambiguous, but without the spaces it would require
lookahead to the ":" to resolve ambiguity,
unless the tokenizer starts to consume maximal runs of question marks.

> _______________________________________________
> es-discuss mailing list
> es-discuss at

More information about the es-discuss mailing list