关于
This skill equips Claude with specialized knowledge of interaction nets, a graphical model of computation where reduction occurs through local, parallel graph transformations. It focuses on Lafont's universal basis—erasers, duplicators, and constructors—and provides implementation patterns for optimal sharing as seen in Lamping's algorithm. Developers can use this skill to bridge the gap between functional programming and massive parallelism, specifically targeting environments like the Higher-order Virtual Machine (HVM) and the Bend programming language, while ensuring resource efficiency through linear logic principles.
