Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Types give you static proof where tests only give partial inductive evidence. I cannot _fathom_ why people would prefer tests over types where types do the job, outside anything but sheer ignorance.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: