Realizing Impure Functions in Interaction Nets

Extending the Interaction Nets Calculus by Generic Rules

“…Generic rules allow us to conveniently express higher-order functions. An example can be found in [10], where an interaction nets encoding of map is given. Generic agents assume a role similar to function variables in functional programming.…”

“…A major motivation for formally dealing with generic rules comes from our own previous work [10,11], where we used generic rules to model side effects in interaction nets via monads. As part of future work, we plan to define an abstract, unified interface for monads, similar to type classes in Haskell.…”