Accessible bridge between category theory and functional programming
arXiv:2410.07918
Abstract
Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded in Haskell.
in French language, Conference SMT 2023