I've no idea where you got that from, TFA merely used java to illustrate the "language without syntactically lightweight functions". Really? We're investigatin

I've no idea where you got that from, TFA merely used java to illustrate the "language without syntactically lightweight functions". Really? We're investigating nullable reference semantics and C# and Java aren't the target? Hell the initial example -- the one that spurred the discussion -- is in Java. Anyway, "syntactically lightweight" is a red herring -- syntax is surprisingly easy to add.