Bio
Greg Pfeil is a compiler writer and programming language designer. At this point they have written four recursion scheme libraries in three languages, with the goal of getting to half a recursion scheme library for all languages. Greg writes Haskell, Nix, Emacs, Dhall, and … Unison, using only the purest artisanal FP.
My Talks
Recursion: Functional Programming’s GOTO (and how to get rid of it)
Recursion schemes are a way to separate the logic of an operation from structure it operates on. They also have fusion laws that allow composing many traversals over a structure into one while stil...
The Monoiad: an epic poem on monoids
Monoids provide a vast landscape of concepts that we rely on in FP. Applicatives, monads, categories – all of them are monoids, as is much else. The epic takes us on a journey with this fundamental...