Untitled topic

At Serokell, we believe that Haskell still has a lot of room to grow.

The language already has one of the most expressive type systems in practical use. It gives programmers algebraic data types, type classes, higher-kinded types, GADTs, type families, promoted data constructors, and many other tools for making invalid states harder to represent.

Over the past years, Serokell has worked on several parts of the Haskell ecosystem: GHC development, language proposals, Dependent Haskell, developer tooling, and education. In this article, we’ll go through the main contributions and explain why they matter.