wiki:DependentHaskell

Version 1 (modified by goldfire, 11 months ago) (diff)

--

Adding dependent types to Haskell

This page is to track design and implementation ideas around adding a form of dependent types to Haskell. This work will also fix bug #7961.

Related work

There are several published works very relevant to the design:

There are also many works addressing the use of dependent types in Haskell. Here is a selection: