Hacker News new | past | comments | ask | show | jobs | submit login

Yes, why do something automatically when you can do manual work!



I think the idea is that you have to write tests anyway.


No, you don't have to write tests for invariants enforced by the type system.


I think the bigger idea is that people who've never actually written serious code in a dynamically-typed language assume that people who do always write a bunch of extra unit tests to assert correct types, assert behavior on incorrect types, etc. etc., and that programs crashing due to type errors is a super frequent occurrence.

None of those things are true.


And yet there are dynamic language proponents in this very subthread suggesting that's exactly what everyone should do.




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

Search: