Enhancements to Var Design in Interaction Nets

[ydewit]

Problem Description:

The current implementation of the Var in our Interaction Nets has a couple of issues that need addressing:

1. Accumulation of Indirect References: Var's that are referenced indirectly via the net's head tend to accumulate, leading to cumbersome structures such as S(S(Var(S(S(Var(S(Var(..)))))))). For such scenarios, it would be more efficient to bypass and dispose of the intermediate Var's.

2. Inert Connections: A Connect(var_x,var_y) configuration containing unset vars becomes inactive causing the net to stop reducing.

Objective:

The goal of this issue is to devise a mechanism that addresses the above concerns while ensuring compatibility with our existing architecture, especially our commitment to avoid locks and queues.

Suggestions and insights on possible solutions or workarounds are welcome.