The graph showing complexity against type safety is nice. I'd love to see it as a scatter plot with C and Haskell and MUMPS for example. Nevermind how to quantify those things of course.
I do know that adding C to that graph would require changing the Y axis to a logarithmic scale.