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.
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.