[Haskell-cafe] linear and dependent types

[Vasili I. Galchin]

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 <v.dijk.bas at gmail.com> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110219/818090bd/attachment.htm>