> From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Ralf Lammel > > Bulat wrote: > > > it seems that Haskell continues to be a source of new > technologies for > > other languages. i will wait for GADT for C# :) > > No need to wait: > http://doitest.acm.org/10.1145/1094811.1094814 > " We show that existing object-oriented programming languages such as > Java and C# can express GADT definitions, and a large class of > GADT-manipulating programs, through the use of generics, subclassing, > and virtual dispatch. However, ..." > > Ralf
At LtU you'll find a link to the paper that doesn't require an ACM account, and (bonus!) a (brief) discussion: http://lambda-the-ultimate.org/node/1134 Alistair ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. ***************************************************************** _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
