Evaluating Linear Functions to Symmetric Monoidal Categories

Jean-Philippe Bernardy, Arnaud Spiwack

Symmetric Monoidal Categories (SMCs) are pervasive algebraic structures. SMCs have in particular many applications as a computational model. It is known that every linear functions correspond to morphisms in a SMC. In this paper, we leverage this correspondence as follows. We provide a method to evaluate linear functions to their own representation as a morphism in a SMC. This method relies on standard evaluation in a functional language: no special support from the compiler is required. We believe that this method is well-suited as a basis for embedding domain specific languages whose computational model can be framed as an instance of a SMC.

Knowledge Graph



Sign up or login to leave a comment