Plurrrr

People keep asking me, “What's the point of Haskell, why do you folks even use it?”. How can you answer this? Most of us Haskell practitioners would start talking about strong static types, the elegance of abstractions, and ease of refactoring—but we would be missing the bigger picture. That's because we are programmers, and programmers typically think about the technical details.

Let's take a step back.

At our scale—millions of lines of Python—the dynamic typing in Python made code needlessly hard to understand and started to seriously impact productivity. To mitigate this, we have been gradually migrating our code to static type checking using mypy, likely the most popular standalone type checker for Python.