>>14
That's the point of static typing -- to allow you to express your invariants explicitly and enforce them automatically.
Yes, but only compile-time invariants. Static typing does not guard against all runtime invariants, such as is the case with the potential for a null-pointer dereference. Here, the responsibility falls upon the programmer. It was never the intention of static typing to handle such cases, and those who believe so are misguided. That said, when required, I do find that I have to write less rigorous regression and/or unit tests for statically typed code than I do with dynamically or ducked typed languages.
Yes, yes, and then you go and insert your penis in your nonimaginary waifu's real female vagina. Tell me more about your glorious life.
I'm just a nobody 29 year old virgin university drop-out, who leads a somewhat socially isolated life, but has managed to claw his way up to making a six figure income as a software developer, working outside of the rat-race known as
ENTERPRISE development. I am also responsible for the
proggles~ meme. Furthermore, I wish death upon who ever is trying to force
farting as a meme.