[willismichael]

I'm already having a hard enough time convincing the team at work to use Clojure!

[eru]

Oh, Clojure is probaly more useful in practice. We also stick to a Haskell dialect at work, and don't dabble in Agda for production.