[Haskell-cafe] linear and dependent types

Bas van Dijk v.dijk.bas at gmail.com
Sat Feb 19 01:19:14 CET 2011


On 18 February 2011 20:04, Vasili I. Galchin <vigalchin at gmail.com> wrote:
>        Does Haskell currently have support for linear types and dependent
> types? If so, is it necessary to specify a "pragma" to use and if so, what
> is the pragma(s)?

While Haskell doesn't have full dependent types, as found in say Agda,
it (or rather GHC) does have some extensions that allow you to get
many of the advantages of full dependent types.

You may want to check out the documentation of: multi parameter type
classes, functional dependencies, type families, higher ranked types,
generalized algebraic datatypes, scoped type variables, pfff... we
have so many toys! :-)

You may also want to read some of the papers mentioned in:

http://www.haskell.org/haskellwiki/Dependent_type#Dependent_types_in_Haskell_programming

Regards,

Bas



More information about the Haskell-Cafe mailing list