Conversation

I wouldn't say I like it but I would say that pretty much every other syntax for lambda that I've seen looks worse 😅 except for the unicode λ in Granule, of course 😉

1

7

Brendan Zabarauskas

@brendanzab

You could go the Java or JS route, but that way leads to terrifying 'covering grammars' 262.ecma-international.org/7.0/#prod-Cove

1

4

I wouldn't mind something like (x -> x*x)

3

Brendan Zabarauskas

@brendanzab

Java style, woooo docs.oracle.com/javase/specs/j

1

3

Brendan Zabarauskas

@brendanzab

Or were you thinking of the parens being mandatory?

1

yes

1

11:19 AM · Jul 13, 2021Twitter Web App

although this is probably a terrible terrible syntax anyway considering we may want to eventually use lambda at the type level

1

Replying to

and

yeah that would be my concern - also having arrow types in terms

Replying to

and

One solution would be to use a different token, like `=>`

1