On Structuring Functional Programs with Monoidal Profunctors

Alexandre Garcia de Oliveira
(Universidade de São Paulo)
Mauro Jaskelioff
(CIFASIS-CONICET)
Ana Cristina Vieira de Melo
(Universidade de São Paulo)

We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of the monoidal construction to optics, and introduce a promising generalization of the implementation which we illustrate by introducing effectful monoidal profunctors.

In Jeremy Gibbons and Max S. New: Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), Munich, Germany, 2nd April 2022, Electronic Proceedings in Theoretical Computer Science 360, pp. 134–150.
Published: 30th June 2022.

ArXived at: https://dx.doi.org/10.4204/EPTCS.360.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org