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/
May 10, 2018

Was Arisen

May 10, 2018/ Hardy Jones
  • Golf Clash
  • Liskov Substitution Principle
  • Software design pattern
  • Calculus
  • Category Theory
  • elm style guide
  • Data science
May 10, 2018/ Hardy Jones/
Programming, Life
Golf Clash, Liskov substitution principle, Design Pattern, Category Theory, data science, elm

Hardy Jones

February 01, 2018

Kill It with Your Own Hands

February 01, 2018/ Hardy Jones
  • Actually the mic doesn't drop.
  • Buddhist development
  • APL
  • R
  • S
  • Dhall
  • Total functional programming
  • Homotopy
  • Topology
  • The A11Y Project
  • WAI-ARIA
February 01, 2018/ Hardy Jones/
Programming
APL, R, S, Dhall, Total, elm, PureScript, homotopy, topology

Hardy Jones

March 02, 2017

Mobbin' It

March 02, 2017/ Hardy Jones
  • Pine State Biscuits
  • Finger Tree
  • Limits and Colimits - Bartosz Milewiski
  • Category Theory II
  • Elm Is Wrong
  • Elm user group SF
  • Expression Problem
  • Who's Afraid of Object Algebras
  • Typed final (tagless-final) style
  • Extensibility for the Masses Practical Extensibility with Object Algebras
  • Free Category
  • Adjunction
  • Free Functor
  • Forgetful Functor
  • Galois Connection
March 02, 2017/ Hardy Jones/
Life, Category Theory, Programming
finger tree, limits, colimits, elm, expression problem, object algebra

Hardy Jones

December 08, 2016

You Can't Refactor Aristotle into Newton

December 08, 2016/ Hardy Jones
  • 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
December 08, 2016/ Hardy Jones/
Programming, Life
Free Monad, recursion schemes, monad transformers, mtl, elm

Hardy Jones

October 06, 2016

Put an Iframe on it, Done!

October 06, 2016/ Hardy Jones
  • Dreamforce
  • Elmlang PSA
  • Denotational Design From Meanings to Programs - Conal Elliott
  • Add a type parameter! One 'simple' design change, a panoply of outcomes - Stephen Compall
  • Boston Haskell Lightning talks - Dec. 2014
  • Modularity and Abstraction in Functional Programming - Chris Martens
  • Évariste Galois
  • Functional Geekery Episode 67 - Hardy Jones
  • Galois Connection
  • Galois Connections - Array out Bounds Checking
  • Making Impossible States Impossible - Richard Feldman
  • Practically functional programming - Connect.Tech
  • h3h3productions
October 06, 2016/ Hardy Jones/
Programming, Conference
denotational semantics, Galois Connections, elm, ElmConf, h3h3

Hardy Jones

September 01, 2016

There's No Royal Road to the Comonad

September 01, 2016/ Hardy Jones
  • Hell is Other Robots
  • PureScript
  • elm
  • TypeScript
  • Fable
  • Scala.js
  • React rally
  • Comonads as Spaces
  • Kan Extensions
  • Counterexamples of Type Classes
September 01, 2016/ Hardy Jones/
Conference, Programming, Random
Futurama, PureScript, elm, TypeScript, Fable, Scala.js, react, comonad, Kan extensions, Type Class

Hardy Jones

August 18, 2016

Space Type Fibration

August 18, 2016/ Hardy Jones
  • elm-proof
  • The Univalence axiom
  • The HoTT Book
  • The Life-Changing Magic of Tidying Up - Marie Kondo
  • Katamari Damacy
  • It's All Too Much - Peter Walsh
  • Church Encoding
  • React Rally
August 18, 2016/ Hardy Jones/
Conference, Productivity, Programming
elm, react, clutter, Homotopy Type Theory

Hardy Jones

August 11, 2016

It's a Space Zipper

August 11, 2016/ Hardy Jones
  • elm-profunctors - (0:48)
  • Comonads as Spaces - (8:24)
  • Cofun with cofree comonads - (11:23)
  • Professor Frisby's Mostly Adequate Guide to Functional Programming - (21:53)
  • @MagicReadAlong - (22:46)
August 11, 2016/ Hardy Jones/
Programming
elm, comonad, functional programming, fp

Hardy Jones

June 23, 2016

You write Idris? Prove it!

June 23, 2016/ Hardy Jones
  • elm-constraint
  • Functional All the Things: A Functional Panel - Forward 4 Web Summit
  • Lambda Cube
  • Contempt Culture
June 23, 2016/ Hardy Jones/
Programming, Conference
elm, fp, functional programming

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