Wednesday, May 03, 2006

Logical variables?

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 :) ).


Andris Birkmanis said...

Ugh, one problem with logical variables is they don't support multiple independent senders :(

Andris Birkmanis said...

I wonder whether I should just return to Oz model (