[Haskell] Google SoC: Software Transactional Memory for Parrot
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:
> " 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