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

> ends up being the same checks you would be doing with a dynamic language

Sure thing. Unless dev forgets to do (some of) these checks, or some code downstream changes and upstream checks become gibberish or insufficient.



I know everyone says that this is a huge issue, and I am sure you can point to an example, but I haven’t found that types prevented a lot of issues like this any better than something like Erlang’s assertion-based system.


When you say "any better than" are you referring to the runtive vs comptime difference?




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

Search: