Blog: Dependent Haskell

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.

Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making th…