3 ms·
I'm reading up on the author's Symmetric Interaction Calculus now, this stuff is wild and fun!
by dgreensp 8y ago
I'm reading up on the author's Symmetric Interaction Calculus now, this stuff is wild and fun!
- mcguire 8y agoInteresting: "Optimality, no garbage-collection, EVM and GPU compatibility are all possible due to compilation to the symmetric interaction calculus, a lightweight computing model that combines good aspects of the Turing Machine and the Lambda Calculus. In order for this to work, Formality enforces some compile-time restrictions based on Elementary Affine Logic."