Programming with monoidal profunctors and semiarrows (2023)
- Authors:
- Autor USP: OLIVEIRA, ALEXANDRE GARCIA DE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/T.45.2023.tde-03112023-152323
- Assunto: PROGRAMAÇÃO FUNCIONAL
- Keywords: Effectful monoidal profunctors; Functional programming; Máquinas de Moore; Monoidal profunctors; Moore machines; Profunctores monoidais com efeitos colaterais; Profuntores monoidais; Programação síncrona; Semiarrows; Synchronous programming
- Language: Inglês
- Abstract: Este trabalho investiga os profuntores monoidais e suas extensões, como profuntores monoidais com efeitos colaterais e semiarrow, como ferramentas para raciocinar e estruturar programas funcionais puros a partir de uma perspectiva categórica e dentro de uma implementação em Haskell. Abordamos-os como monoides dentro de uma categoria monoidal específica de profuntores e como semiarrows em uma categoria de semiarrow. Examinamos as propriedades dessa categoria monoidal e construímos e implementamos o profunctor monoidal livre. Além disso, detalhamos as propriedades e leis de um semiarrow, derivando exemplos de seu uso e destacando seu potencial para gerenciar efetivamente atrasos em programação síncrona. As máquinas de Moore servem como um exemplo ilustrativo. Aplicações adicionais incluem óptica de profuntores e conexões que preservam a estrutura de um profunctor monoidal entre máquinas de Moore, dobragens com acumulação à esquerda (scan) e dobragens simples à esquerda (fold)
- Imprenta:
- Data da defesa: 13.09.2023
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
OLIVEIRA, Alexandre Garcia de. Programming with monoidal profunctors and semiarrows. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/. Acesso em: 22 jan. 2026. -
APA
Oliveira, A. G. de. (2023). Programming with monoidal profunctors and semiarrows (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/ -
NLM
Oliveira AG de. Programming with monoidal profunctors and semiarrows [Internet]. 2023 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/ -
Vancouver
Oliveira AG de. Programming with monoidal profunctors and semiarrows [Internet]. 2023 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
Informações sobre o DOI: 10.11606/T.45.2023.tde-03112023-152323 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
