A Simple Parallel Implementation of Interaction Nets in Haskell

TL;DR

This paper presents a straightforward parallel implementation of interaction nets in Haskell, demonstrating that it can effectively leverage multiple cores for improved performance in functional programming.

Contribution

It introduces a simple, highly-concurrent Haskell implementation of interaction nets, highlighting its potential for parallel processing.

Findings

Achieves promising speed-ups on multiple cores

Demonstrates effective parallelism in functional programming

Shows simplicity and efficiency of the implementation

Abstract

Due to their "inherent parallelism", interaction nets have since their introduction been considered as an attractive implementation mechanism for functional programming. We show that a simple highly-concurrent implementation in Haskell can achieve promising speed-ups on multiple cores.