On 18 February 2011 20:04, Vasili I. Galchin <vigalc...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
