Hacker News new | ask | show | jobs
by DanWaterworth 4949 days ago
Unless your language is dependently typed.