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

August 17, 2017

Type Class Tom-Foolery

August 17, 2017/ Hardy Jones
  • 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
August 17, 2017/ Hardy Jones/
Life, Podcast, Programming
Yosemite, Group Theory, Cayley's Theorem, Natural Transformation, Patreon, Mobile, matryoshka, recursion schemes, Heyting Algebra, Boolean Algebra, PureScript, Hole Driven Development

Hardy Jones

August 03, 2017

A Picture is Worth a Thousand Articles

August 03, 2017/ Hardy Jones
  • Types For Frontend Developers
  • ForwardJS
  • Percy
  • aXe-core
  • applitools
  • CSS box model
  • When Robot Face-Plants In Fountain, Onlookers Show Humanity — By Gloating
  • Atomic Blonde
  • Kan extension
  • Functional dependency
  • Dependence analysis
  • CodeScene
  • Your Code as a Crime Scene
  • Pair Programming Ping Pong Pattern
  • sass-lint
  • v.Nu
  • ESLint
  • Prettier
  • Squint test
August 03, 2017/ Hardy Jones/
Conference, Programming, Work, Life
Jesse Williamson, forward js, Percy, aXe-core, applitools, CSS

Hardy Jones

July 27, 2017

Nobody's Ever Seen the Number Two

July 27, 2017/ Hardy Jones
  • ForwardJS
  • Object-oriented programming
  • Structured programming
  • Factory
  • Null Object
  • Category Theory
  • Free Functor
  • Forgetful Functor
  • Catamorphism
  • Anamorphism
  • Representable
  • Comonad
  • Monad
  • Procedural Programming
  • Homotopy Type Theory
  • Dijkstra on Abstraction
  • Semaphore
  • Adho mukha śvānāsana
  • Sciatica
  • Design Patterns in Haskell
  • Strategy
July 27, 2017/ Hardy Jones/
Conference, Programming, Life
forward js, Factory, OO, Structured Programming, Object-Oriented Programming, Design Pattern, Null Object, Category Theory, free functor, forgetful functor, Catamorphism, Anamorphism, Representable Functor, Comonad, monad, Procedural Programming, HoTT, Homotopy Type Theory, Abstraction, Semaphore

Hardy Jones

July 20, 2017

I Always Have the Last Word Via Blog Post

July 20, 2017/ Hardy Jones
  • Steak-umm
  • Game of Thrones
  • Frasier
  • GLOW
  • Representable
  • Adjunction
  • Irakli's tweet
  • Profunctor
  • Predicate
  • Contravariant Functor
  • Denotational semantics
  • Kan extension
  • Missing Richard Simmons
  • Denzel Washington Is The Greatest Actor Of All Time Period
July 20, 2017/ Hardy Jones/
Category Theory, Life, Podcast, Programming
Frasier, Game of Thrones, GLOW, Representable Functor, Adjunction, profunctor, Predicate, contravariant functor, denotational semantics, Category Theory

Hardy Jones

July 13, 2017

Use Axe on Your HTML Body

July 13, 2017/ Hardy Jones
  • Teaching New Tricks to Old Programs
  • Salmonella
  • The Amazing Johnathan
  • Fiat 500e
  • Axe Core
  • Mutation testing
  • Type-Directed Search
  • Get the Validation You Need With The Lightning Design System Chrome Extension
  • purescript-variant
July 13, 2017/ Hardy Jones/
Life, Programming
Conal Elliott, Mutation Testing, a11y

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 22, 2017

Maybe You Don't Need to Go All Kleisli

June 22, 2017/ Hardy Jones
  • TDD
  • BDD
  • A11y
  • Screen reader
  • What's Next for Our Programming Languages?
  • Dafny
  • Do loop
  • Sandi Metz
  • SOLID
  • Code smell
  • Field
  • Markdown
  • GitHub Flavored Markdown
  • Group
  • Module
  • Chris Penner
  • Murphy Randle
  • Elm Town
  • Elm Town Spotlight - Hardy Jones
June 22, 2017/ Hardy Jones/
Life, Programming, Random, Podcast
TDD, BDD, a11y, Sandi Metz, SOLID, Sarah Mei, Field, Group, Module, Markdown, elm town

Hardy Jones

June 15, 2017

Strawbeeries

June 15, 2017/ Hardy Jones
  • Wonder Woman
  • Gifted
  • Foxtail
  • Aqua Globes
  • Linear Types Can Change the World
  • Introduction to Lattices and Order
  • Lattice Functions, Pair Algebras, and Finite-State Machines
  • CSS Animations
  • Semiring
  • Moore machine
  • Mealy machine
  • DFA
  • NFA
    • RE
    • Monad Reader 16
    • The Pumping Lemma
    • Lemmings
June 15, 2017/ Hardy Jones/
Book, Life, Programming
Wonder Woman, Gifted, Movies, Gardening, Linear Types, lattice, Orders, Pair Algebras, Finite State Machines, CSS, Moore machine, Mealy machine, Semiring, DFA, NFA, RE, monad reader

Hardy Jones

  • Previous
  • Next
  • 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