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

This is really great, and immaculately put together. Recently though I've come across people who think that you need strong types when programming, and this is really weird to me. I think it has its place for sure, and is a great way to ensure you're being correct, but I also really like not having to mess with types on hobby projects and such for sure :D

Anyway, great paper.



Thanks, I intentionally chose examples where types are particularly useful, like monads and conduits (and apparently null elimination).


I love strong types on hobby projects, so I don't have to constantly go back and fix crash bugs after I get it working once.


You must be doing it differently than me, and most other people I've worked with.




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

Search: