> expressive, but it seems to me not yet mature. I'm speaking of the > Haskell implementation - through Monads first, then through Arrows > now.
So you might want take a look at the Oz implementation (http://www.info.ucl.ac.be/~pvr/ds/mitbook.html, under the heading "Mozart system supplements"), because it seems to match your description to some extent, with no dictionary though. Anyway, this is just something that crossed my mind and might as well be worthless. Cheers, Jorge. > But it definitely deserves to be studied. > > Enrico > > [1] - Paul Hudak - The Haskell School of Expression - > http://haskell.org/soe/ > >> >> Cheers, >> >> Jorge. >> >> ------------------------- >> 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 > Jorge M. Pelizzoni ICMC - Universidade de São Paulo _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
