Re: [Haskell-cafe] linear and dependent types

Thanks Bas. BTW I was thinking of http://www.ats.org when I asked this question. REgards, Vasili On Fri, Feb 18, 2011 at 6:19 PM, Bas van Dijk wrote:

On 18 February 2011 20:04, Vasili I. Galchin 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...

Regards,

Bas