Google SoC: Software Transactional Memory for Parrot
Hello haskell, browsing Google SoC site, i found one accepted project that you may be interesting to hear about: 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. i will wait for GADT for C# :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
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
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
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 ")-:"
From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] 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. *****************************************************************
在 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
participants (6)
-
Audrey Tang -
Bayley, Alistair -
Bulat Ziganshin -
Jared Updike -
Ralf Lammel -
Taral