On 6/27/06, Ralf Lammel <[EMAIL PROTECTED]> wrote:
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, ..."
Am I the only one whose first instinct upon reading this is "EW!"? -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
