Haskell's type system is the only thing that's kept me sane while working with concurrent code, if more languages didn't view it as an afterthought we'd have a lot fewer nightmares to debug.