On Structuring Functional Programs with Monoidal Profunctors

Autores
De Oliveira, Alexandre Garcia; Jaskelioff, Mauro Javier; De Melo, Ana Cristina Vieira
Año de publicación
2022
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: De Oliveira, Alexandre Garcia. Universidade de Sao Paulo; Brasil
Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: De Melo, Ana Cristina Vieira. Universidade de Sao Paulo; Brasil
Materia
MONOIDAL PROFUNCTORS
FUNCTIONAL PROGRAMMING
HASKELL
CATEGORY THEORY
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/215522

id CONICETDig_238e67419a38095539482b352acfd512
oai_identifier_str oai:ri.conicet.gov.ar:11336/215522
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling On Structuring Functional Programs with Monoidal ProfunctorsDe Oliveira, Alexandre GarciaJaskelioff, Mauro JavierDe Melo, Ana Cristina VieiraMONOIDAL PROFUNCTORSFUNCTIONAL PROGRAMMINGHASKELLCATEGORY THEORYhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We 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.Fil: De Oliveira, Alexandre Garcia. Universidade de Sao Paulo; BrasilFil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario; ArgentinaFil: De Melo, Ana Cristina Vieira. Universidade de Sao Paulo; BrasilOpen Publishing Association2022-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/215522De Oliveira, Alexandre Garcia; Jaskelioff, Mauro Javier; De Melo, Ana Cristina Vieira; On Structuring Functional Programs with Monoidal Profunctors; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 360; 6-2022; 134-1502075-2180CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.360.7info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/2207.00852v1info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:31:12Zoai:ri.conicet.gov.ar:11336/215522instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:31:13.198CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv On Structuring Functional Programs with Monoidal Profunctors
title On Structuring Functional Programs with Monoidal Profunctors
spellingShingle On Structuring Functional Programs with Monoidal Profunctors
De Oliveira, Alexandre Garcia
MONOIDAL PROFUNCTORS
FUNCTIONAL PROGRAMMING
HASKELL
CATEGORY THEORY
title_short On Structuring Functional Programs with Monoidal Profunctors
title_full On Structuring Functional Programs with Monoidal Profunctors
title_fullStr On Structuring Functional Programs with Monoidal Profunctors
title_full_unstemmed On Structuring Functional Programs with Monoidal Profunctors
title_sort On Structuring Functional Programs with Monoidal Profunctors
dc.creator.none.fl_str_mv De Oliveira, Alexandre Garcia
Jaskelioff, Mauro Javier
De Melo, Ana Cristina Vieira
author De Oliveira, Alexandre Garcia
author_facet De Oliveira, Alexandre Garcia
Jaskelioff, Mauro Javier
De Melo, Ana Cristina Vieira
author_role author
author2 Jaskelioff, Mauro Javier
De Melo, Ana Cristina Vieira
author2_role author
author
dc.subject.none.fl_str_mv MONOIDAL PROFUNCTORS
FUNCTIONAL PROGRAMMING
HASKELL
CATEGORY THEORY
topic MONOIDAL PROFUNCTORS
FUNCTIONAL PROGRAMMING
HASKELL
CATEGORY THEORY
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: De Oliveira, Alexandre Garcia. Universidade de Sao Paulo; Brasil
Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: De Melo, Ana Cristina Vieira. Universidade de Sao Paulo; Brasil
description 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.
publishDate 2022
dc.date.none.fl_str_mv 2022-06
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/215522
De Oliveira, Alexandre Garcia; Jaskelioff, Mauro Javier; De Melo, Ana Cristina Vieira; On Structuring Functional Programs with Monoidal Profunctors; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 360; 6-2022; 134-150
2075-2180
CONICET Digital
CONICET
url http://hdl.handle.net/11336/215522
identifier_str_mv De Oliveira, Alexandre Garcia; Jaskelioff, Mauro Javier; De Melo, Ana Cristina Vieira; On Structuring Functional Programs with Monoidal Profunctors; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 360; 6-2022; 134-150
2075-2180
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.360.7
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/2207.00852v1
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844614322200772608
score 13.070432