a tumblelog
07 Sep 2019

Why Haskell is important

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.

writes Mark Karpov in Why Haskell is important.

Our journey to type checking 4 million lines of Python

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.

Source Our journey to type checking 4 million lines of Python, an article by Jukka Lehtosalo of Dropbox.