Thanks Bas.<br><br> BTW I was thinking of <a href="http://www.ats.org">http://www.ats.org</a> when I asked this question.<br><br>REgards, Vasili<br><br><div class="gmail_quote">On Fri, Feb 18, 2011 at 6:19 PM, Bas van Dijk <span dir="ltr"><<a href="mailto:v.dijk.bas@gmail.com">v.dijk.bas@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="im">On 18 February 2011 20:04, Vasili I. Galchin <<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>> wrote:<br>
> Does Haskell currently have support for linear types and dependent<br>
> types? If so, is it necessary to specify a "pragma" to use and if so, what<br>
> is the pragma(s)?<br>
<br>
</div>While Haskell doesn't have full dependent types, as found in say Agda,<br>
it (or rather GHC) does have some extensions that allow you to get<br>
many of the advantages of full dependent types.<br>
<br>
You may want to check out the documentation of: multi parameter type<br>
classes, functional dependencies, type families, higher ranked types,<br>
generalized algebraic datatypes, scoped type variables, pfff... we<br>
have so many toys! :-)<br>
<br>
You may also want to read some of the papers mentioned in:<br>
<br>
<a href="http://www.haskell.org/haskellwiki/Dependent_type#Dependent_types_in_Haskell_programming" target="_blank">http://www.haskell.org/haskellwiki/Dependent_type#Dependent_types_in_Haskell_programming</a><br>
<br>
Regards,<br>
<font color="#888888"><br>
Bas<br>
</font></blockquote></div><br>