Hacker News new | ask | show | jobs
by Ralith 5050 days ago
Dependently typed programming languages can do the "express all the invariants" bit. Readability is an open question, though.