Realizing Impure Functions in Interaction Nets
Abstract
We propose and illustrate first steps towards an extension of
interaction nets based on monads to handle functions with side effects
(e.g., I/O, exceptions). We define three monads for common types of side effects
and show their correctness by proving the monad laws.
interaction nets based on monads to handle functions with side effects
(e.g., I/O, exceptions). We define three monads for common types of side effects
and show their correctness by proving the monad laws.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.38.637
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.38.637.647
Hosted By Universitätsbibliothek TU Berlin.