[dllthomas]

"You have to go all the way to Haskell (I'd argue Shen) to get real benefits of typing beyond performance and typo-protection"

With some cleverness, I was able to get C's type checker to let me know when I was accessing data from the wrong thread. This was tremendously useful when moving functionality between threads. If you think type checking doesn't buy you much, it's because you don't know how to use it.