The Howling Fantods
/- Zodiac Killer
- Ted Cruz-Zodiac meme
- Triumph, the Insult Comic Dog
- Zipper
- Distributive
- Representable
- Traversable
- Adjunction
- purescript-substructural
- Substructural type system
- Free Modules and Functional Linear Functionals
- Module
- Moby Dick
- HOUND Voice Search & Assistant
- Pazuzu - Captain Howdy
- Moore Machine
- Mealy Machine
- The Expression Problem
- DDD
- Monoids: Theme and Variations
I Am Not Full of Beans!
/- UNDERTALE (03:19)
- Linear Types (07:18)
- Curry-Howard correspondence (07:50)
- Linear types can change the world! - Phillip Wadler (08:50)
- Substructural type system (09:28)
- Clean (09:43)
- Rust (10:28)
- Beautiful Folds (12:38)
- MuniHac 2016: Beautiful folds are practical, too - Gabriel Gonzalez (12:38)
- Swift (14:45)
- Protocol-oriented Programming in Swift - Apple WWDC 2015 (16:20)
- recursion-schemes (23:00)
- matryoshka (23:13)
- Unifying Structured Recursion Schemes (24:06)
- Adjunction (25:18)