Blog: Dependent Types

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.

How to reduce the debugging time and make programs less error-prone while working with matrices in Haskell? There can be several solutions. This article presents a way of lifting the dimensions to the type level.

A review of matrix and numerical libraries in order to understand which array libraries are useful for machine learning in Haskell and which approaches to type-level natural numbers might be applied to safe matrix dimensions.

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…