Haskell is great. It fucking checks my type errors and I instantly know that if it passes the type checker, then my program will be bug-free. I can't wait for dons to add halt-detection support to GHC so I can tell which of my programs halt and which don't.