GoDNet
What it does
Section titled “What it does”GoDNet implements Delta Interaction Nets in Go, the reduction engine and compiler backend that executes nets produced by the GoDNix Nix compiler. Interaction nets are a graph-rewriting model of computation with strong locality and confluence properties, making them a natural target for parallel, optimal reduction.
Role in the ecosystem
Section titled “Role in the ecosystem”GoDNet is the reduction engine of the Go interaction-net stack. GoDNix compiles Nix down to nets, and GoDNet reduces them. It is part of the same line of research as dnx’s Δ-Nets runtime.
Source Code Delta Interaction Nets paper Support this project