[Haskell] Google SoC: Software Transactional Memory for Parrot

[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