Hacker News new | ask | show | jobs
by epgui 1334 days ago
Type safety on its own does not guarantee program correctness, nor does it eliminate the need to write tests.