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/
September 21, 2017

What Are You Doing, Dog?

September 21, 2017/ Hardy Jones
  • 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
September 21, 2017/ Hardy Jones/
Podcast, Programming
Patreon, Eff, IO, ST, Run, recursion schemes, Hutton's razor, Flow, TypeScript, react, Slate, Automatic Differentiation, Zipper, Representable Functor, cofree

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

June 29, 2017

The Howling Fantods

June 29, 2017/ Hardy Jones
  • 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
June 29, 2017/ Hardy Jones/
Life, Programming, Work
Zipper, Distributive, Representable Functor, Traversable, Adjunction, Substructural Types, Linear Types, Affine Types, Module, Moore machine, Mealy machine, Monoid, DDD

Hardy Jones

June 01, 2017

Like a Parent at a Beauty Pagent

June 01, 2017/ Hardy Jones
  • LamdaConf 2017
  • Integrating PureScript and Halogen into JavaScript Applications
  • How to Build a Blog in 10 Minutes with Hyper
  • Lattice
  • CSS Animation
  • Keyframe
  • Transition
  • Mealy Machine
  • Moore Machine
  • Profunctor
  • Arrowized FRP
  • Semiring
  • Ring
  • Adjunctions in Everyday Life
  • Corecursion, Codata and Just a Little Combinatorial Game Theory
  • The Zipper
  • The Algebra of Algebraic Data Types - Chris Taylor
  • The Algebra of Algebraic Data Types, Part 1
  • The Algebra of Algebraic Data Types, Part 2
  • The Algebra of Algebraic Data Types, Part 3
  • The Two Dualities of Computation: Negative and Fractional Types
  • Euclidean Space
  • Redux
  • Data types à la carte
  • Encapsulation Considered Harmful
  • Open/closed principle
June 01, 2017/ Hardy Jones/
Conference, Life, Programming, Math
LambdaConf, PureScript, Halogen, Hyper, lattice, CSS, Mealy machine, Moore machine, profunctor, FRP, Semiring, Ring, Adjunction, Corecursion, Codata, Zipper, ADT, Redux

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