A things that irks me a bit (read: a lot) is reading statements like: we love functional programming, because the type system allows us to model our domain so much better.

So you love FP or types? Because, you know, you can have static types without FP and you can have FP without static types.