After all, it looks like old good logical variables may be the best solution for a communication between objects.
See, for example, An introduction to AKL (a precursor of Oz).
Typed Logical Variables in Haskell looks like a good introduction to typed logical variables in Haskell (hey, that's written in the title :) ).
Subscribe to:
Post Comments (Atom)
2 comments:
Ugh, one problem with logical variables is they don't support multiple independent senders :(
I wonder whether I should just return to Oz model (http://www.mozart-oz.org/papers/abstracts/volume1000.html).
Post a Comment