Magic Read Along
  • Episodes
  • Functional Programming

Magic Read Along

  • Episodes/
  • Functional Programming/
background.png

Magic Read Along

A Podcast about programming, life and the Internet

Programming Tech Podcast

A podcast about programming, life and the Internet. Topics include FP, OOP, development practices, and a dip into our personal lives from time to time.

Magic Read Along

  • Episodes/
  • Functional Programming/
October 26, 2017

Don't Call Me a Turkey

October 26, 2017/ Hardy Jones
  • Dutch Baby
  • Challah
  • PreArrow
  • Presheaf
  • Profunctors, Arrows & Static Analysis
  • Applicative Effects in Free Monads
  • More on Applicative Effects in Free Monads
  • Abstracting Async.Concurrently
  • Park Bench Panel Session with #HaskellX Experts!
  • LambdaConf Winter Retreat
  • purescript-variant
  • Northern Exposure
October 26, 2017/ Hardy Jones/
Conference, Life, Programming
PreArrow, Presheaf, profunctor, Arrow, Applicative, Free, HaskellX, LambdaConf, Variant, Row Polymorphism

Hardy Jones

September 07, 2017

Cofree Your Cofree

September 07, 2017/ Hardy Jones
  • Socks and Gloves - Road Work
  • loop/recur
  • The Social Network
  • Logan Lucky
  • Dependent type
  • Standardized Ladder of Functional Programming
  • Store
  • Lenses from Scratch
  • Free
  • free-graphs
  • elm-format
  • Design Patterns
  • Interpreter pattern
September 07, 2017/ Hardy Jones/
Life, Work
Road Work, loop/recur, dependent types, Store, Lens, Free, elm-format, Design Pattern, interpreter pattern

Hardy Jones

July 06, 2017

Curry-Howard the Duck

July 06, 2017/ Hardy Jones
  • Teaching New Tricks to Old Programs - Conal Elliott
  • Category
  • Cartesian Monoidal Category
  • Cocartesian Monoidal Category
  • Representable Functor
  • Comonad
  • Building up Zippers from Distributive, Representable, and Cofree
  • Cofree
  • Free From Tree
  • Rose Tree
  • Mutation Testing
  • QuickCheck
  • Heyting Algebra
  • Boolean Algebra
  • Law of excluded middle
July 06, 2017/ Hardy Jones/
Category Theory, Life, Programming, Podcast
category, Cartesian Category, Cocartesian Category, Representable Functor, Comonad, Zipper, Distributive, cofree, Free, Rose Tree, Mutation Testing, QuickCheck, Heyting Algebra, Boolean Algebra

Hardy Jones

  • Episodes/
  • Functional Programming/

Magic Read Along

Podcast about programming, life, and the internet

Subscribe
RSS
iTunes
Stitcher
Pocket Casts
Google Play

Support us on Patreon