Open sychoo opened 5 years ago
The "class" declaration will combine object type declaration and object implementation.
i.e. type IntList def sum():Int val empty:IntList = new def sum():Int = 0
is equivalent to class empty:IntList = new def sum():Int = 0
One potential design for this is outlined in this paper: http://www.cs.cmu.edu/~aldrich/papers/maspeghi13.pdf
The "class" declaration will combine object type declaration and object implementation.
i.e. type IntList def sum():Int val empty:IntList = new def sum():Int = 0
is equivalent to class empty:IntList = new def sum():Int = 0