With haskell, for example, that comes at the expense of development velocity and performance (or at least, the ability to reason about performance). That seems

With haskell, for example, that comes at the expense of development velocity and performance (or at least, the ability to reason about performance). That seems a little unfair. The biggest challenge with reasoning about performance in Haskell is usually its non-strict semantics. That issue is only incidentally related to Haskell's type system being significantly more capable than those of many other programming languages.