While y'all are working on all sorts of new and interesting things, I'm
still working my way through some classic CS texts.
SICP: I've been working on translation of SICP into Oz (as well as a
number of other PLs) - getting most of the way through the first three
chapters. I've come to the conclusion that, of all the languages I've
worked with, Oz is the most capable of expressing the greatest swath of
SICP (excepting Scheme of course). I'm hoping to eventually get all 5
chapters translated into Oz. The SICP translation is on Dominic's CTM
wiki at:
http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages
The Little Schemer: This is another book I've just finished translating
into Oz. The first chapter is posted on the CTM wiki on the same page
as The Reasoned Schemer (along with chapter #1 of Essentials of
Programming Languages):
http://www.codepoetics.com/wiki/index.php?title=Topics:TRS_in_other_languages:Oz
I'm awaiting word from the authors on whether it's reasonable to post
the other chapters on the wiki. In the meantime, the full translation
of all ten chapters is available as a zip archive on my website -
Password for the files is 'Mozart':
http://www.angelfire.com/tx4/cus/tls.zip
The translations do suffer from being too literal in parts but I figure
they might be useful to others. Any criticism and corrections are welcome.
Chris
Peter VAN ROY wrote:
Dear all,
For those of you interested in exploring new programming paradigms,
there are some examples of how to code them in Oz on the Web page
http://www.info.ucl.ac.be/~pvr/ds/mitbook.html, under the heading
"Mozart system supplements":
- functional reactive programming in Oz
- lazy quicksort: how laziness can create incremental algorithms
- CSP in Oz: the rendezvous synchronization in Oz
- multi-agent systems: contract net protocol
One of the lessons is that the WaitNeeded operation is a powerful
primitive for building more complicated synchronizations.
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
