Blog: Glasgow Haskell Compiler
![Work on GHC: Dependent types in Haskell, Part 3](/files/aw/thumb.awso1dz.normal-work_on_GHC.jpg)
![Work on GHC: Dependent types in Haskell, Part 3](/files/ab/thumb.ab8wh9m.mobile-work_on_GHC.jpg)
Serokell’s Work on GHC: Dependent Types, Part 3![Serokell GHC team](/files/a7/tiny.a7iz3en.haskell-logo-purple.png)
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..
![Serokell GHC team](/files/a7/tiny.a7iz3en.haskell-logo-purple.png)
Article by Serokell GHC team
April 25th, 2024
9 min read
![Glasgow Haskell Compiler: dependent types in Haskell](/files/ab/thumb.abpdozc.normal-work_on_GHC.jpg)
![Glasgow Haskell Compiler: dependent types in Haskell](/files/ax/thumb.ax3bwyj.mobile-work_on_GHC.jpg)
Serokell’s Work on GHC: Dependent Types, Part 2![Serokell GHC team](/files/aw/tiny.awto0gk.haskell-logo-violet.png)
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..
![Serokell GHC team](/files/aw/tiny.awto0gk.haskell-logo-violet.png)
Article by Serokell GHC team
December 22nd, 2023
6 min read
![Serokell’s Work on GHC: Dependent Types](/files/bd/thumb.bdzkm21o.normal-work_on_GHC.jpg)
![Serokell’s Work on GHC: Dependent Types](/files/x7/thumb.x7eq4i40.mobile-work_on_GHC.jpg)
Serokell’s Work on GHC: Dependent Types![Serokell GHC team](/files/uq/tiny.uqlihb6q.haskell-logo-violet.png)
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…
![Serokell GHC team](/files/uq/tiny.uqlihb6q.haskell-logo-violet.png)
Article by Serokell GHC team
September 12th, 2023
6 min read
![Optimizing K Framework](/files/2n/thumb.2nph3kcd.normal-p2_Optimizing_K_Framework.jpg)
![Optimizing K Framework](/files/v6/thumb.v6jkzsuo.mobile-p2_Optimizing_K_Framework.jpg)
Optimizing Haskell Code for Runtime Verification: Part 2
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.
![optimizing k framework](/files/mr/thumb.mr7f26qe.normal-Optimizing_K_Framework.jpg)
![optimizing k framework](/files/lw/thumb.lwr8w6im.mobile-Optimizing_K_Framework.jpg)
Optimizing Haskell Code for Runtime Verification
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.
![overlapping instances thumbnail](/files/5h/thumb.5hmse8z2.normal_(14).jpg)
![overlapping instances thumbnail](/files/fj/thumb.fjydmwz4.mobile_(14).jpg)
Learn From Errors: Overlapping Instances
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.
![dependent haskell post thumbnail](/files/39/thumb.398zq2eh.normal_(7).jpg)
![dependent haskell post thumbnail](/files/wv/thumb.wvxlz9qr.mobile_(7).jpg)
How Dependent Haskell Can Improve Industry Projects
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.
![haskell dependency analysis image](/files/qk/thumb.qkd5pv7e.normal_(6).jpg)
![haskell dependency analysis image](/files/0y/thumb.0ya77q7q.mobile_(6).jpg)
Dependency Analysis of Haskell Declarations
Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.
![Past and Present of Haskell: Interview with Simon Peyton Jones](/files/tt/thumb.ttvv1mrr.normal_(2).jpg)
![Past and Present of Haskell: Interview with Simon Peyton Jones](/files/if/thumb.ifnsz9xj.mobile_(1).jpg)
Past and Present of Haskell: Interview with Simon Peyton Jones
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.
![haskell to core thumbnail](/files/x3/thumb.x3du8rv0.serokell_blog1597068991898.jpg)
![haskell to core thumbnail](/files/6z/thumb.6z67icnx.serokell_blog_mobile1597068990150.jpg)
Haskell to Core: Understanding Haskell Features Through Their Desugaring
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.
![Developing GHC](/files/jd/thumb.jd9g6e6e.3_(5).jpg)
![Developing GHC](/files/6a/thumb.6avhzea5.headpics_for_mobile-06.jpg)
Developing GHC for a Living: Interview with Vladislav Zavialov
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.