The language should allow for a keyword or annotation that represent the class is immutable. Its state does not change after creation. then the compiler should check if this is true. After compilation the class gains a Immutable trait so validations like
The language should allow for a keyword or annotation that represent the class is immutable. Its state does not change after creation. then the compiler should check if this is true. After compilation the class gains a Immutable trait so validations like
to be possible. Possible syntax is