[tombert]

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.

[instig007]

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