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 13, 2016

I Just Use Lift and Boom!

October 13, 2016/ Hardy Jones
  • Modern Functional Programming: Part 2 - John A De Goes
  • Descriptive Variable Names: A Code Smell - John A De Goes
  • matryoshka - SlamData
October 13, 2016/ Hardy Jones/
Programming, Random
SalesForce, h3h3, recursion schemes

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 29, 2016

You Look Like a Fat Katy Perry

September 29, 2016/ Hardy Jones
  • Parent function
  • Adventures in Dating: Hipsters - Mimi Vilmenay
  • Dreamforce
  • Connect.Tech
September 29, 2016/ Hardy Jones/
Math, Life, Random
Dreamforce, Representable Functor

Hardy Jones

September 22, 2016

The DOM in One Hand

September 22, 2016/ Hardy Jones
  • Strange Loop
  • Q&A Panel - ElmConf
  • radix sort
  • Radix Sort Visualization
  • Fritz Henglein
  • Generic Top-down Discrimination for Sorting and Partitioning in Linear Time - Fritz Henglein
  • Quicker Sort? Implementing generic linear time sorting - Declan Conlon
  • Discrimination is Wrong: Improving Productivity - Edward Kmett
  • Denotational Design: From Meanings to Programs
  • Denotational Semantics
  • F-Algebra
September 22, 2016/ Hardy Jones/
Programming, Conference
StrangeLoop, ElmConf, contravariant, sorting, Edward Kmett, F Algebra, denotational semantics, YOW Lambda Jam, contravariant functor

Hardy Jones

September 15, 2016

That's the Brakes

September 15, 2016/ Hardy Jones
  • QuickSpec
  • Denotational Design: From Meanings to Programs
  • Denotational Semantics
  • StrangeLoop
  • Practically Functional Programming
September 15, 2016/ Hardy Jones/
Programming, Conference
denotational semantics, Bayes Theorem, StrangeLoop

Hardy Jones

September 08, 2016

Keep It Simple Stupid

September 08, 2016/ Hardy Jones
  • Bounded join semi-lattice
  • First
  • Four Solutions to a Trivial Problem - Guy L. Steele Jr.
  • YOW Lambda Jam 2016
  • Propagators - Edward Kmett
  • The Expression Problem and Lenses - Tony Morris
September 08, 2016/ Hardy Jones/
Conference, Programming, Life
Maybe, Lens, functional programming, foldMap, YOW Lambda Jam, remote work

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 25, 2016

The NSA was using DNA to make a DFA

August 25, 2016/ Hardy Jones
  • How to make ad-hoc polymorphism less ad hoc - Wadler & Blott
  • Representable Functors part 1
  • Representable Functors part 2
  • Representable Functors part 3
  • Mealy Machine
  • Moore Machine
  • purescript-automata
  • Category Theory by Tom LaGatta
August 25, 2016/ Hardy Jones/
Programming, Category Theory
Haskell, PureScript, Type Class, Representable Functor

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

  • 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