I used Haskell for the code I wrote for my PhD on the user of non-standard type inference for static program analysis, back in 1995 (early Haskell days). I've used it on and off since then, but have picked it up again more recently to work on an open source project.