Evaluating linear functions to symmetric monoidal categories
Jean-Philippe Bernardy, Arnaud Spiwack · 2021
A number of domain specific languages, such as circuits or data-science workflows, are best expressed as diagrams of boxes connected by wires. Unfortunately, functional languages have traditionally been ill-equipped to embed this sort of languages. The Arrow abstraction is an approximation, but we argue that it does not capture the right properties.