New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New source language proposal #6

Closed

BenChung opened this issue Apr 1, 2017 · 1 comment

Owner

BenChung commented Apr 1, 2017

Based on our discussion today, I came up with the following proposal for a source syntax. This language implies:

Automatic insertion of @ for dynamic invocation
No user-inserted casts
No user access to direct field access (auto-generated getters/setters only, handled by mtypes already).
No user-defined field accessors.

e ::= x | this | e.f() | e.f(e) | e.m(e) | new C(e ...) 
k ::= class C { fd ... md ... }
md ::= m(x:t):T { e }
fd ::= f:t
t ::= * | C

We've had the chance to discuss all but the last point. Feedback? @janvitek @francesco-zappa-nardelli @Palez

The text was updated successfully, but these errors were encountered:

BenChung added this to Ben in The Path to SPLASH

BenChung mentioned this issue

Rewrite the translations #7

Closed

Owner Author

BenChung commented Apr 3, 2017

Accepted, will be translating from this.

BenChung closed this as completed

BenChung removed this from Ben in The Path to SPLASH

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment