[niklasni1]

> 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.

[Scarbutt]

They're both statically typed, but the type systems obviously aren't equal.

That was his point.

[niklasni1]

I suppose the main difference is the presence of algebraic data types. But does that even make sense without static typing?