Hacker News new | ask | show | jobs
by layer8 848 days ago
It’s a consequence of not having a formal and formally-proved type system.