Version 1 (modified by goldfire, 17 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: