Really interesting slides. As someone who has only briefly played around with Haskell, I do envy some of its features, particularly the type inference. I wish there were more languages that could combine the ease of scripting languages with the maintainability of compile-time typechecking.