[Haskell] Google SoC: Software Transactional Memory for Parrot

Taral taralx at gmail.com
Tue Jun 27 04:21:36 EDT 2006

On 6/27/06, Ralf Lammel <Ralf.Lammel at 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 at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell mailing list