P.S. on seeing them implement their 'interactors' in Java,
one could also quote Virding's Rule:
"Any sufficiently complicated concurrent program in another language contains an ad hoc informally-specified bug-ridden slow implementation of half of Erlang."
Comments
I hadn't been aware of Tarau's work:
http://www.cse.unt.edu/~tarau/
The real treasure looks like being his theory of isomorphisms:
http://logic.csci.unt.edu/tarau/research/2010/ISO.pdf
I haven't read it all yet, but it reminds me a bit of the isomorphic kernel described here:
http://www.informatik.uni-marburg.de/~rendel/unparse/rendel1...
Discusion on LtU here:
http://lambda-the-ultimate.org/node/4191
Sometimes wading through the noise on HN is worth it when gems like this turn up.
Mik
P.S. on seeing them implement their 'interactors' in Java, one could also quote Virding's Rule:
"Any sufficiently complicated concurrent program in another language contains an ad hoc informally-specified bug-ridden slow implementation of half of Erlang."
http://en.wikipedia.org/wiki/Greenspun%27s_Tenth_Rule#Erlang...
Mik