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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/215522
Ver los metadatos del registro completo
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 |