[Haskell-cafe] linear and dependent types
Vasili I. Galchin
vigalchin at gmail.com
Sat Feb 19 07:11:23 CET 2011
BTW I was thinking of http://www.ats.org when I asked this question.
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,
> > 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:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe