Comment by thechao
2 years 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":
Have you heard of Linear Lisp? https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash...
Yeah — I used to program in a GC-free LISP in grad school. That's why I'm so flabbergasted.
And an entire list of other models of computation: https://en.wikipedia.org/wiki/Model_of_computation