Blog: Haskell

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…

In this article, we introduce the Alternative typeclass in Haskell: what it is, how it works, and where it can be used.

In this edition of our Haskell in Production series, we interview developers from Verity – a company that provides integrated solutions for modern asset management.

In this article, we interview Jay, the mastermind behind Impure Pics. We talk about his approach to creating fun things, thoughts about what the Haskell community needs right now, and what could be the future of functional programming.

In this edition of our Haskell in Production series, we interview Fyodor Soikin from CollegeVine – an online platform that connects high school students with college admissions guidance and mentorship.

In this article of our Haskell in Production series, we interview José Pedro Magalhães from Standard Chartered – a multinational bank that has over 6 million lines of code written in their own dialect of Haskell.

In this blog post, we explore, describe, and dissect the second phase of the collaboration between Runtime Verification and Serokell on optimizing the K semantic framework.