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

I can only assume this comes from an observation that once your product matures, the static types become more apparent and you have a better idea how flexible your data modeling should be.

i.e. we are gradually adding more runtime type-checks to our Clojure codebase. (Runtime check are even more powerful than dependent types)



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

Search: