https://github.com/sellout/recursion-scheme-talk

A talk on using recursion schemes in FP.
https://github.com/sellout/recursion-scheme-talk

Last synced: 3 months ago
JSON representation

A talk on using recursion schemes in FP.

• Host: GitHub
• URL: https://github.com/sellout/recursion-scheme-talk
• Owner: sellout
• License: agpl-3.0
• Created: 2016-01-27T16:00:06.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-01-12T19:32:05.000Z (over 7 years ago)
• Last Synced: 2024-01-23T07:04:41.900Z (5 months ago)
• Size: 505 KB
• Stars: 213
• Watchers: 14
• Forks: 13
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-recursion-schemes - recursion-scheme-talk - Collection of slide decks about recursion schemes. (Presentations / Hylomorphisms in the Wild)

README

        
# Recursion Scheme Talks

Various talks I’ve given on using recursion schemes in FP projects in Haskell and Scala.

This repository will track the changes as this talk develops. Each actual presentation of the talk has a tag associated with the version at that point.

Talks included in this repo:

- [Fix Haskell (by eliminating recursion)](recursion-scheme-talk.org) (Boulder Haskell Meetup – 2016–01–26)

- [Efficient Nanopass Compilers using Cats and Matryoshka](nanopass-compiler-talk.org) – [video](https://www.youtube.com/watch?v=TQIHRBXM75E) (Typelevel Summit Philly – 2016–03–02)

- [Recursion: where FP hits ⊥](recursion-bottom.org) – [video](https://www.youtube.com/watch?v=24UoRaoKLjM) (Moonconf – 2016-05-27)

- [Fix-ing Your Types With Matryoshka](fix-ing-your-types.org) – (Scala Up North – 2016-08-05)

- [This programmer modeled his code after wooden nesting dolls. What happens next will amaze you.](matryoshka.org) – [video](https://www.youtube.com/watch?v=lQdpXqD7Uic) (Scalæ By the Bay – 2016-11-12)

Additional resources:

- [recursion scheme cheat sheet](cheat sheet.pdf)

- [algebra cheat sheet](algebras.pdf)