3 ms·
If the type system already trivially enforces your custom invariants, aren't the types defined by your classes already in it?
by temac 6y ago
If the type system already trivially enforces your custom invariants, aren't the types defined by your classes already in it?