> The presence of a type system definitely improves maintainability, however it is only one of many factors. Being C and Haskell both statically typed, are they

> The presence of a type system definitely improves maintainability, however it is only one of many factors. Being C and Haskell both statically typed, are they equally suitable for long term development? They're both statically typed, but the type systems obviously aren't equal. I would argue that stricter types are in fact one of the main things that helps me be more productive in languages with MLish type systems compared to C which lacks e.g. generics and proper sum types. That said, I find Elixir very interesting for the exact reasons you said.