On structuring functional programs with monoidal profunctors

MaRDI QIDQ6068938zbMATH OpenFDO

Authors Mauro Jaskelioff, Ana C. V. de Melo

Publication date 15 December 2023

Full work available at URL https://arxiv.org/abs/2207.00852, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05) Functional programming and lambda calculus (68N18)

Recommendations

• Profunctor optics, a categorical update
• Notions of computation as monoids
• Applicative programming with effects
• Generalising monads to arrows
• Constructing Applicative Functors

Cites work

• (Co)end Calculus
• A representation theorem for second-order functionals
• Advanced Functional Programming
• Applicative programming with effects
• Categorical semantics for arrows
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• Idioms are oblivious, arrows are meticulous, monads are promiscuous
• Notions of computation and monads
• Notions of computation as monoids
• On closed categories of functors

Cited in

(9)

• Compositions of programs that induce special monotonic functions
• An implementation of syntax directed functional programming on nested- stack machines
• Monads for the formalization of a pattern matching procedure
• Monotonic abstraction for programs with multiply-linked structures
• APLicative Programming with Naperian Functors
• scientific article; zbMATH DE number 5598380 (Why is no real title available?)
• scientific article; zbMATH DE number 4097355 (Why is no real title available?)
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Profunctor optics, a categorical update

This page was built for publication: On structuring functional programs with monoidal profunctors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6068938)