Changes since version 0.05:
7.5.1: Clari ed how initializing formals can act as optional parameters of generative constructors.
7.5.2: Treat factories as constructors, so type parameters are implicitly in scope.
8.3: Simplify rules for interface factory clauses. Use the keyword default instead of factory.
9: Mention that typedefs can have type parameters.
10.29: Added checked mode test that type arguments match generic type.
13.2: Added de finition of malformed types, and requirement on their handling in checked mode.
Español
Loading tweets...
Recent Comments