Fun fact: Much of the Glasgow Haskell Compiler was written/influenced by Simon Peyton Jones, who is at Microsoft Research.