3 ms·
You can't do full nominal subtyping, so no high church OO, but you can add subtyping for records without too much trouble.
by nyssos 3y ago
You can't do full nominal subtyping, so no high church OO, but you can add subtyping for records without too much trouble.