Join Us

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions.

GHC 8.6.1 is live, and it comes with a fresh new batch of extensions! Specifically, you welcome DerivingVia, QuantifiedConstraints, BlockArguments, NumericUnderscores, and StarIsType... so why should you care? How will these affect code in the real world?

Case classes and ADTs allow us to describe a model and reason about it with ease. Type classes allow us to extend them in a more loosely coupled and composable way than OOP. Both are two of the most appreciated features of Scala....