Explore
More Fixpoints! (Functional Pearl)
Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...
Extending destination-passing style programming to arbitrary data types in Linear Haskell
Three years ago, a blog post introduced destination-passing style (DPS) programming in Haskell, focusing on array...
Why is Prettier rock solid?
I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do...
Dependency solving in Nix
I’ve written a lot about the Nix build system over the past decade, but one complaint...
Tyche - Visual Studio Marketplace
Tyche, named after the Greek goddess of chance, aims to provide a comprehensive integrated development environment...
8 months of OCaml after 8 years of Haskell in production
I've been using Haskell in production for 8 years. I've been using OCaml in production for...
Dependent types in Haskell
At Serokell, we have a dedicated team working on GHC. The primary goal is to help...