1 Sep
2006
1 Sep
'06
1:40 p.m.
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@gmail.com