blob: 479ed2e70471f19972b260c3d7ebf8feff0254b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
New syntax for declarations
===========================
- Separate rec/obj types?
(rec = value type, obj = reference type).
Variants vs class hierarchies
-----------------------------
Variants are basically closed classes!
This can be used to simplify SLUL, so we don't need the addtional "variant"
type.
Problems:
- What about private types?
- Closed vs open types
|