Concurrent Programming Constructs and First-Class Logic Engines (opens in new tab)

(cs.nmsu.edu)

12 pointsdtby15y ago3 comments

3 comments

3 comments · 2 top-level

mikhailfranco15y ago· 1 in thread

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

mikhailfranco15y ago

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

swannodette15y ago

My kind of HN article! Food for thought for my own concurrent logic engine. Thanks for posting this.

j / k navigate · click thread line to collapse