TIL

Week ending 11 August 2024

Interaction nets are a model of computation that uses rewrite rules described here.

It is term-based and pure. Simply rewrite terms until you reach a normal form (like lambda calculus).
Reductions are local and can be done in parallel.
It is strongly confluent and so the order of reduction does not matter.

All of this is cool. Implementing a interaction net evaluator would scale automatically across cores and machines. People have done some impressive engineering to make this happen in practice.

Back