Haskell and Chill
/- Chris Penner
- Hanabi
- Skyladder
- Mindfulness meditation
- Primitive Obsession
- POJO
- Boolean Blindness
- Destroy All Ifs
- MuniHac 2016: Beautiful folds are practical, too
- purescript-halogen
- Integrating PureScript and Halogen into JavaScript Applications
- The J Programming Language
- Numeronym
- As-patterns
- Comonads, Monoids and Trees
Are Denotational Semantics Adjoint to Hacking Something Together?
/- 2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe
- Galois Connection
- An Exercise Utilising Galois Connections
- Denotational semantics
- Deriving Functor
- purescript-filterable
- excursion
- purescript-matryoshka
- apomorphism
- anamorphism
- histomorphism
- futumorphism
- Group
- :not
- Ring
- Boolean algebra
- Heyting algebra
- Idempotence
- Lattice
- Semigroup
- Monoid
- Commutative property
- Semilattice
You Can't Refactor Aristotle into Newton
/- Total Request Live
- Broad City
- Hannibal Buress
- Project Homeless Connect
- Tenderloin
- Free vs Monad Transformers - Chris Penner
- free
- freer
- recursion-schemes
- operational
- Functional Programming with Overloading and Higher-Order Polymorphism - Mark P. Jones
- redux
- Haskell Sucks! - Paul Bone
- Subscriptions
- Commands
- Building composable abstractions - Eric Normand
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)
We Got Chairs
/- loop/recur (06:21)
- Lattice-based access control (LBAC) (08:40)
- Lightweight Directory Access Protocol (LDAP) (08:50)
- Set inclusion (09:14)
- Poset (09:16)
- Power set (09:18)
- Distributive lattice (09:21)
- Lattice (09:34)
- Join and meet (09:44)
- A Lattice Model of Secure Information Flow - Dorothy E. Denning
- Lattice-Based Access Control Models - Ravi S. Sandhu
- JSON Schema (15:49)
- DGML (17:59)
- DOT (graph description language) (18:04)
- GraphViz (18:09)
Fire Up Your Lite-Brite
/- Bocce
- Functional and Reactive Domain Modeling - Debasish Ghosh (2:50)
- right seminear-ring (7:15)
- What the heck is a right-seminearring? (also MonadPlus stuff)
- elmzed (9:00)
- Unison (9:20)
- elm-brands (13:40)
- Freer (16:01)
- recursion schemes (17:01)
- matryoshka (18:40)
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (18:57)
- Unifying Structured Recursion Schemes (19:32)
That's Where You Get the Zygohistomorphic Prepromorphism
/- haskell-vim-now (00:59)
- Love, Hate & tmux (01:11)
- (spacemacs) (04:19)
- kill dash nine (7:23)
- You don’t need more than one cursor in vim - Stöffel (8:09)
- Professor Frisby's Mostly Adequate Guide to Functional Programming - Brian Lonsdorf (9:30)
- Forex Tutorial: The Forex Market (10:28)
- Matryoshka (13:34)
- Biphasic and polyphasic sleep (18:20)
- Uberman sleep (18:31)
- Saved by the Bell (21:54)