Re:Anders Hejlsberg Is Right: You Cannot Maintain Large Prog...
by reycharles on Tuesday June 05, 2012 @05:16AM
(#4067986)
> 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.
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.