Re: [Haskell] Google SoC: Software Transactional Memory for Parrot
在 2006/6/27 上午 12:09 時，Bulat Ziganshin 寫到： Software Transactional Memory for Parrot by Charles Albert Reiss, mentored by Leopold Toetsch (mentioned on http://code.google.com/soc/tpf/about.html ) it seems that Haskell continues to be a source of new technologies for other languages. Yeah, that's there to enable a port of Pugs's current STM semantics, which already does Perl 6 STM, taking advantage of GHC's native support. :-) http://pugs.blogs.com/pugs/2006/06/software_transa.html http://pugs.blogs.com/pugs/2006/06/stm_retry_and_r.html Thanks, Audrey PGP.sig Description: This is a digitally signed message part ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] Google SoC: Software Transactional Memory for Parrot
Am I the only one whose first instinct upon reading this is "EW!"? You are not the only one, judging from my own experience. I made my own sort of algebraic datatypes / abstract datatypes in C# by using Enums and Objects and runtime casts. It works, but the code itself is hairy. I guess the good news is that once I built the ADT the---in my case, ugly---implementation is hidden. Jared. -- http://www.updike.org/~jared/ reverse ")-:" ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
RE: [Haskell] Google SoC: Software Transactional Memory for Parrot
> From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of 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 At LtU you'll find a link to the paper that doesn't require an ACM account, and (bonus!) a (brief) discussion: http://lambda-the-ultimate.org/node/1134 Alistair * Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. * ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] Google SoC: Software Transactional Memory for Parrot
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
RE: [Haskell] Google SoC: Software Transactional Memory for Parrot
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 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
