8 ms·
Concurrent Programming Constructs and First-Class Logic Engines
- swannodette 15y agoMy kind of HN article! Food for thought for my own concurrent logic engine. Thanks for posting this.
- mikhailfranco 15y agoI hadn't been aware of Tarau's work: http://www.cse.unt.edu/~tarau/ 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 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/rendel10invertible.pdf http://www.informatik.uni-marburg.de/~rendel/unparse/rendel1... Discusion on LtU here: http://lambda-the-ultimate.org/node/4191 http://lambda-the-ultimate.org/node/4191 Sometimes wading through the noise on HN is worth it when gems like this turn up. Mik
- mikhailfranco 15y agoP.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_follow-up http://en.wikipedia.org/wiki/Greenspun%27s_Tenth_Rule#Erlang... Mik