Blog: Glasgow Haskell Compiler

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 blog post, we explore, describe, and dissect the second phase of the collaboration between Runtime Verification and Serokell on optimizing the K semantic framework.

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

In this article, we'll look at the overlapping instances error. We'll try to understand the many variants of it, and what the error means in each of those cases.

In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.

Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.

Some time ago, we got a fantastic opportunity to interview Simon Peyton Jones, a key contributor to the design of Haskell and GHC. Read (or watch) our interview with him to find more about the past, present, and future of Haskell.

All the myriad of Haskell features can be reduced to the few features of GHC's Core. In this article, we look at this internal language and give an overview of GHC's front-end pipeline.

What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019 and what he has to say about the challenges of contributing to GHC.