3 ms·
Dependently typed programming languages can do the "express all the invariants" bit. Readability is an open question, though.
by Ralith 14y ago
Dependently typed programming languages can do the "express all the invariants" bit. Readability is an open question, though.