Hacker News new | ask | show | jobs
by humanrebar 2228 days ago
Broadly, that's not true. The correctness benefits of type safety could also be provided by discipline alone.