What Are You Doing, Dog?

What Are You Doing, Dog?

Brian Lonsdorf & Hardy Jones

Download

• Magic Read Along is creating a Podcast
• Switch from Eff to IO
• purescript-st
• purescript-exceptions
• purescript-run
• purescript-run-console-experiment
• recursion schemes
• Hutton's razor
• Flow
• TypeScript
• create-react-app
• Medium
• Disqus
• Slate
• Automatic differentiation
• A variant on UIs I'd like to try - Phil Freeman
• Zipper
• Zippers Using Representable And Cofree
• Making Impossible States Impossible - Richard Feldman

Sweet Baby Rao's

Sweet Baby Rao's

Brian Lonsdorf & Hardy Jones

Download

• Sweet Baby Ray's
• Talkboy
• Yak Bak
• React
• Heyting Algebra
• Moore Machine
• Moore for Less
• clojure.spec
• Comonad
• Functor
• Trie
• Mealy Machine
• Adjunction
• morphism-zoo
• Unifying Structured Recursion Schemes - Ralf Hinze, Nicolas Wu, and Jeremy Gibbons
• Prettyprint
• A prettier printer - Philip Wadler
• Prettier
• elm-format
• Pony

Type Class Tom-Foolery

Type Class Tom-Foolery

Brian Lonsdorf & Hardy Jones

Download

• Group Theory
• Cayley's Theorem
• Yoneda lemma
• Natural Transformation
• Patreon
• Corepresentable
• Any Applicative Is Num
• Accept values with varying number of arguments
• Heyting Algebra
• PureScript instance
• React Native
• Recursion Schemes
• purescript-matryoshka
• Type-Directed Search
• Hole-driven Haskell

The Forest for the Trees

The Forest for the Trees

Brian Lonsdorf & Hardy Jones

Download

• Joanna Newsom
• Partial order
• Adjunction
• Recursion schemes
• Saunders Mac Lane
• Mark Cuban
• Mavericks

Are Denotational Semantics Adjoint to Hacking Something Together?

Are Denotational Semantics Adjoint to Hacking Something Together?

Brian Lonsdorf & Hardy Jones

Download

• 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

Cuando es Tiempo

Cuando es Tiempo

Brian Lonsdorf & Hardy Jones

Download

• White elephant gift exchange
• The Whitest Kids U' Know
• Whitest Kids U' Know: Abe Lincoln
• purescript-matryoshka
• Clarity Conf
• Professor Frisby Introduces Composable Functional JavaScript
• purescript-filterable
• cleared
• Intro to the Production Webpack Course
• Festivus

You Can't Refactor Aristotle into Newton

You Can't Refactor Aristotle into Newton

Brian Lonsdorf & Hardy Jones

Download

• 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!

I Am Not Full of Beans!

Brian Lonsdorf & Hardy Jones

Download

• 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)

Fire Up Your Lite-Brite

Fire Up Your Lite-Brite

Brian Lonsdorf & Hardy Jones

Download

• 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)

I Just Use Lift and Boom!

I Just Use Lift and Boom!

Brian Lonsdorf & Hardy Jones

Download

• Modern Functional Programming: Part 2 - John A De Goes
• Descriptive Variable Names: A Code Smell - John A De Goes
• matryoshka - SlamData