4 ms·
I've never heard of interaction nets (which just shows how overspecialized CS can be: I guess I have a PhD in PLT?); so... I wikipedia'd it up. I normally don't
by thechao 4y ago
I've never heard of interaction nets (which just shows how overspecialized CS can be: I guess I have a PhD in PLT?); so... I wikipedia'd it up. I normally don't trust Wikipedia any further than I can throw it, but ... "interaction nets":
https://en.wikipedia.org/wiki/Interaction_nets https://en.wikipedia.org/wiki/Interaction_nets
- geocar 4y agoHave you heard of Linear Lisp? https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash-cons-papers/BakerLinearLisp.pdf https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash...
- thechao 4y agoYeah — I used to program in a GC-free LISP in grad school. That's why I'm so flabbergasted.
- geocar 4y agoThat's how I found out about this rabbit-hole: Baker references Lafont's Interaction Nets in that paper. I also really liked https://dl.acm.org/doi/pdf/10.1145/319838.319868 https://dl.acm.org/doi/pdf/10.1145/319838.319868 -- It is great. Clear and to-the point. I just adore the hand-drawn pictures.
- generalizations 4y agoAnd an entire list of other models of computation: https://en.wikipedia.org/wiki/Model_of_computation https://en.wikipedia.org/wiki/Model_of_computation