<< §9.1.(a) Value parameter declaration | ↑ Table of Contents ↑ | §9.1.(c) Role types as dependent types >> |
§9.1.(b) Value parameter application
Within the given class (MyClass
) the parameter name (aName
) can be used
like a final field of the given type (YourType
). In contrast to regular final fields
the assignment to this name occurs even before the constructor is executed.
<< §9.1.(a) Value parameter declaration | ↑ Table of Contents ↑ | §9.1.(c) Role types as dependent types >> |