[Haskell-cafe] linear and dependent types

[Bas van Dijk]

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