Comment by folex
1 day ago
> 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.
1 day ago
> 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?