GitHub - cxandru/talk-multirec: Talk for Master's seminar detailing cata for (Mutually) Recursive ADTs (with Category Theory). Adapted for MuniHac 2022 (https://munihac.de/2022.html). Talk description there: _Structured traversals (a.k.a. recursion schemes) show up all the time when working with inductive algebraic datatypes (s.a. lists), once you know what to look for. We examine the simplest of these, the humble catamorphism (foldr for lists), following its journey from motivation, then via its origin in category theory into the more turbulent waters of mutually recursive datatypes (s.a. ASTs), putting Haskell's amenities for type-level programming and basic dependent types to work along the way. The theoretical foundation for the presentation is the multirec paper by Andres Löh et al.

cxandru / talk-multirec Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Talk for Master's seminar detailing cata for (Mutually) Recursive ADTs (with Category Theory). Adapted for MuniHac 2022 (https://munihac.de/2022.html). Talk description there: _Structured traversals (a.k.a. recursion schemes) show up all the time when working with inductive algebraic datatypes (s.a. lists), once you know what to look for. We exa…

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
.gitignore		.gitignore
FunctorKit.hs		FunctorKit.hs
Makefile		Makefile
Poly.lhs		Poly.lhs
Pres.lhs		Pres.lhs
Pres.pdf		Pres.pdf
Uni.lhs		Uni.lhs
shell.nix		shell.nix