Blog: Dependent Types
![Functional Futures: Dependent Types with David Christiansen](/files/q1/thumb.q1s0ii6q.normal-David.jpg)
![Functional Futures: Dependent Types with David Christiansen](/files/8w/thumb.8whf5j0y.mobile-David.jpg)
Functional Futures: Dependent Types with David Christiansen
In this month’s episode of Functional Futures, our guest is David Christiansen – the Executive Director of the Haskell Foundation and the co-author of The Little Typer, a book on dependent types.
![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.
![Dimensions and Haskell: Singletons in Action](/files/y6/thumb.y68m4fx0.dimensions_and_Haskell.jpg)
![Dimensions and Haskell: Singletons in Action](/files/lq/thumb.lqh1y82v.singletons.jpg)
Dimensions and Haskell: Singletons in Action
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.
![Dimensions and Haskell: Introduction](/files/fl/thumb.flb50z60.gplvm-intro.jpg)
![Dimensions and Haskell: Introduction](/files/d0/thumb.d0shof64.dimentions-n-haskell.jpg)
Dimensions and Haskell: Introduction
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.
![Haskell logo](/files/gr/thumb.gr2bgjro.4.jpg)
![Haskell logo](/files/cd/thumb.cd8as7ky.why-depended-haskell...jpg)
Why Dependent Haskell is the Future of Software Development
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.