Jorge Marques Pelizzoni wrote:
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.
Beware, the implementation in the supplements is really bare bones: it just
explains how to translate nested function evaluations to get an FRP
execution.
It might be interesting to use the idea in the supplements as the heart of a
full FRP implementation (compiling functional programs into FRP executions).
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
