Compilation of Interaction Nets

A Simple Parallel Implementation of Interaction Nets in Haskell

“…A general interaction net implementation that is still available is part of the Inets project of Mackie et al [HMS09,HJ12]. This it is a compiler for the interaction net definition language Inets, which is considered as a programming language; the compiler is implemented in Java, and compiles via C to non-parallel executables.…”

“…The Inets project led by Ian Mackie has implemented the only publicly available general implementation of interaction nets, the compiler [HJ12] for the interaction net programming language "Inets". This language was introduced by Mackie [Mac05], with the core of the Inets implementation described in [HMS09]. We implemented a front-end to our interaction net reduction system for the core sublanguage of Inets, leaving out in particular the extension of nested pattern matching described in [HMS10], and generic rules and variadic agents.…”

“…The Inets project led by Ian Mackie has implemented the only publicly available general implementation of interaction nets, the compiler [HJ12] for the interaction net programming language "Inets". This language was introduced by Mackie [Mac05], with the core of the Inets implementation described in [HMS09].…”

“…Inets supports "parameters", that is, agent attributes of the primitive types int, bool, float, char, and String. The description in [HMS09] suggests that only a single parameter is allowed per agent; our implementation allows arbitrary numbers, but expects the number and types of attributes to be determined by the agent label. We also interpret type int as Haskell's arbitrary-precision Integer type.…”

Extending the Interaction Nets Calculus by Generic Rules

“…The runtime holds data structures for managing interaction rules as well as agents and connections between them. For example, the interaction rules for addition of natural numbers is implemented by the following piece of code (We use the syntax of the inets language, where equations are denoted by >< on the LHS, and by ∼ on the RHS): For a complete and detailed description of inets and its runtime, we refer to [6]. Here, we will concentrate on the extension of the matching function to support generic rules.…”