Online Manual: Objectage Creation
This is achieved by the create A(e1, ..., en) expression, structurally identical to Java's new expression. Here is an example to show its basic uses.
Typechecking
The expression fails to typecheck iff
- A does not exist as a classage.
- A contains mixers with dangling imports.
- There does not exist a constructor defined in A that the types of e1, ..., en that can result in locating the unique most specific constructor.