Partial Expression proposal

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


On Wed, Dec 27, 2017 at 1:43 PM, Tamás Halasi <trusted.tomato at gmail.com> 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:
> https://github.com/trustedtomato/proposal-partial-expression
>
> 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 mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>


More information about the es-discuss mailing list