On Saturday 19 February 2011 1:11:23 AM Vasili I. Galchin wrote:
> BTW I was thinking of http://www.ats.org when I asked this question.
Technically speaking, if one considers ATS to be dependently typed, then one
might as well also consider GHC to be dependently typed (with the right
extensions
There has been extensive discussion of whether Haskell has dependent
types, made larger by the fact that the definition of
dependently-typed languages is a bit fuzzy. On some accounts, type
functions or GADTs are sufficient for calling a language
dependently-typed, and Haskell got both features.
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?
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,
i
vigalchin:
>Hello,
>
>�� Does Haskell currently have support for linear types and dependent
> types?
No.
-- Don
P.S. :-)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hello,
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)?
Kind regards,
Vasili
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
h