On: Haskell is our first choice for building production software systems

[slifin]

"acts as an invaluable pair-programming buddy that gives instantaneous feedback during development."

This is the key bit, this is called static analysis, you don't need a type system in your language to do this, and you don't need to force doing it at compile time

Most developers appear to conflate the two, uncoupling static analysis and type systems would benefit most workflows

[mrkeen → slifin]

> you don't need to force doing it at compile time

What assembly instructions should the compiler emit if you write sum ["foo", "bar"] ?