Functional programming and program transformation with interaction nets

• Autor(es): Mackie, Ian ; Pinto, Jorge Sousa ; Vilaça, Miguel
• Data: 2005
• Identificador Persistente: http://hdl.handle.net/1822/2748
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Interaction nets; Program transformation; Visual programming; Functional programming
• Tipo de Documento: Relatório
• Idioma: Inglês

Descrição

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.