[Haskell-cafe] linear and dependent types

Don Stewart dons at galois.com
Fri Feb 18 20:06:57 CET 2011


vigalchin:
>    Hello,
> 
>           Does Haskell currently have support for linear types and dependent types?

No.

-- Don 

P.S. :-)



More information about the Haskell-Cafe mailing list