> Yes, crash at runtime. That's no good in a production environments My point is that it's a lot better than trying to continue in an inconsistent state. I'm n

> Yes, crash at runtime. That's no good in a production environments My point is that it's a lot better than trying to continue in an inconsistent state. I'm not saying dynamic typed languages are better than static typed languages. Right now I use coq. I write programs and their correctness proofs so I definitely get why you would want some static guarantees.