HackerPapers

arXiv:2209.01259cs.PL

Category Theory for Programming

Benedikt Ahrens, Kobe Wullaert

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

Abstract

In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of datatypes and recursive functions on them. Secondly, we study monads, which give a mathematical framework for effects in functional languages. The notes include many problems and solutions.

arXiv comments
Source code and latest version available from https://github.com/benediktahrens/CT4P
Journal reference
DOI
Subjects
cs.PLProgramming Languages math.CTCategory Theory

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Nov 2023 to Nov 2023. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.