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/
March 16, 2017

It's Like Faulkner

March 16, 2017/ Hardy Jones
  • Sweet Baby Ray's
  • Elm is Wrong
  • Why type classes aren’t important in Elm yet
  • Adjunction
  • Free
  • Cofree
  • Reader
  • Writer
  • Env
  • Monad
  • Comonad
  • Any homomorphism, f, between monoids is completely determined once you
    know where a set of generators of the monoid map under the
    homomorphism, and vice versa.
     - Dan Piponi
  • Category
  • Forgetful functor
  • Isomorphism
  • Galois connection
  • If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
  • React Component
  • Contravariant
  • Closure
  • Profunctor
  • Opaleye
  • Arrows
  • postgresql-typed
  • Yesod
  • scotty
  • Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
  • Views
March 16, 2017/ Hardy Jones/
Category Theory, Programming
Adjunction, free functor, cofree, reader, writer, category, isomorphism, Galois Connections, profunctor, opaleye, postgresql-typed, Dan Piponi, Rúnar Bjarnason, Phillip Wadler, SQL, react

Hardy Jones

December 01, 2016

I Am Not Full of Beans!

December 01, 2016/ Hardy Jones
  • UNDERTALE (03:19)
  • Linear Types (07:18)
  • Curry-Howard correspondence (07:50)
  • Linear types can change the world! - Phillip Wadler (08:50)
  • Substructural type system (09:28)
  • Clean (09:43)
  • Rust (10:28)
  • Beautiful Folds (12:38)
  • MuniHac 2016: Beautiful folds are practical, too - Gabriel Gonzalez (12:38)
  • Swift (14:45)
  • Protocol-oriented Programming in Swift - Apple WWDC 2015 (16:20)
  • recursion-schemes (23:00)
  • matryoshka (23:13)
  • Unifying Structured Recursion Schemes (24:06)
  • Adjunction (25:18)
December 01, 2016/ Hardy Jones/
Life, Programming
Linear Types, Clean, Rust, Curry-Howard, Phillip Wadler, recursion schemes, Swift, beautiful folds

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