On: Eric Lippert is leaving Microsoft

[munin]

java and C# still allow casting, so I think there you will still want static analysis outside of existing language features.

[seanmcdirmid → munin]

Yes, and they have null pointers also, but such bugs aren't as horrible as they are in c++, they show up more quickly during tests and are easier to debug.

C++ remains the market maker for the static analysis industry.