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

Indeed, and Type-Driven Development is also a thing.

Given a great type system and editor/IDE types can even be used to derive implementations.



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

Search: