Blog: Haskell

We’re happy to share that Serokell’s CEO, Arseniy, has joined the Haskell Foundation’s Board of Directors!.

Not so long ago, LLMs were incapable of producing output that matched the quality of a competent human. Hence the derogatory term “slop”. Like it or not, this is no longer always the case. You can g…

In 2023, Serokell launched the Haskell Certification Program with an ambitious goal: to create a reliable, industry-wide standard for evaluating Haskell expertise. We built and launched the platform, developed an open certification framework, and later transferred the initiative to the Haskell Foundation. Three years on, both the project and the broader software engineering landscape have changed. In this article, we look back at what the program achieved, how its direction evolved, and why Serokell is now concluding its active involvement in the initiative.

In this interview, we speak with Solana cofounder Greg Fitzgerald about why Rust ultimately proved to be the right fit. We discuss how his background in C++, LLVM, and Haskell shaped Solana’s architecture, what functional programming contributed to the design of a high-performance blockchain runtime, and why Rust’s combination of strong types, memory safety, and low-level control worked particularly well for BPF and virtual-machine development.

MonadBaseControl is notoriously tricky to use correctly. It’s really easy to misuse and end up introducing subtle unexpected behaviour or downright bugs, even in the hands of the more experienced de…

In our Haskell in Production series, we interview developers and technical leaders from companies that use Haskell for real-world tasks. We cover benefits, downsides, common pitfalls, and tips for b…

The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical. In this report, Serokell's GHC team members Vladislav Zavialov and Andrei Borzenkov describe their recent contributions.

At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types..

In this edition of our “Haskell in Production” series, we interview Jeroen Bransen from Chordify, an online platform, which turns any music or song into chords. Jeroen has been working at Chordify since 2016. We discussed how Chordify ensures the correctness of Haskell code and scalability of its codebase, which libraries they use in their work, and more.

At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types..

In this edition of our "Haskell in Production" series, we feature FOSSA – a tool for open-source risk management. Our guest, Eliza Zhang from the engineering team at FOSSA, discusses her experience using Haskell in backend analysis services and CLI. Read further to learn about the benefits and downsides of Haskell he encountered while working on the project, as well as tips he would give to teams starting Haskell projects like his.

At Serokell, we have been working hard for some time now to help add dependent types to Haskell. It is the primary goal of our dedicated GHC team, currently consisting of Vladislav Zavialov and Andr…