5 ms·
Possibly missing something here but couldn't the 'value type' distinction be made with an annotation? I think that would be cleaner and possibly more flexible a
by eternalban 13y ago
Possibly missing something here but couldn't the 'value type' distinction be made with an annotation? I think that would be cleaner and possibly more flexible as well.
- ajanuary 13y agoIndeed it could be, but that's syntax. The proposal is very careful to talk about semantics; most of the code examples have a disclaimer that the syntax is for illustrative purposes only.
- jerven 13y agoProbably, (also makes back compatibility to earlier jvms easier). However, I think the authors went for "horrible syntax in examples" so that we have time to think about a final good/decent syntax. See what happened with lambas lots of proposed syntaxes ended up with one decent one. Here they want a discussion by implementers about the technical side and avoid bikeshedding about syntax (for now).