In static-typing's defense, C isn't as strictly typed as Haskell, a pointer (and therefore null) is just basically an integer. But I totally agree, static typi

In static-typing's defense, C isn't as strictly typed as Haskell, a pointer (and therefore null) is just basically an integer. But I totally agree, static typing is no cure for a wrong program. With power/expressiveness also comes a great ability to goof up.