Functional programming and program transformation with interaction nets
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2005
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming.We consider the use of recursion patterns and introduce a suitable archetype/instantiation mechanism for interaction agents.We also consider program transformation by fusion, a well-known transformation technique, and show that this extends smoothly to our visual programming framework.Examples of applying this technique include transformations of two-pass functions into single-pass ones, and the introduction of accumulations. Cons 1Cons