27 Jun
2006
27 Jun
'06
8:21 a.m.
On 6/27/06, Ralf Lammel <Ralf.Lammel@microsoft.com> 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 <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem