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