Hacker News new | ask | show | jobs
by the_af 400 days ago
Type checking is modeling + testing.