Functional programming and program transformation with interaction nets

• Author(s): Mackie, Ian ; Pinto, Jorge Sousa ; Vilaça, Miguel
• Date: 2005
• Persistent ID: http://hdl.handle.net/1822/2748
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Interaction nets; Program transformation; Visual programming; Functional programming
• Document Type: Report
• Language: English

Description

Techon. Report DI-PURe 05.05.02. 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.