Exceptions
Bulat Ziganshin
bulat.ziganshin at gmail.com
Fri Sep 1 09:40:18 EDT 2006
Hello Andres,
Friday, September 1, 2006, 2:27:34 PM, you wrote:
> Thanks for your interest in open data types. As one of the authors of
> the "open data types" paper, I'd like to comment on the current
> discussion.
i'm not yet read about this, but may be open types have something in
common with type families already implemented by Manuel Chakravarty?
http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions
one more question what i still plan to ask him is what is the
difference between GADTs and type families
--
Best regards,
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Haskell-prime
mailing list