Purescript And Avocados with Justin Woo
Purescript is a functional programming language that compiles to javascript. It is a strict haskell dialect that can run anywhere that javascript does. Justin Woo is a self described Purescript...
View ArticleDependent Types in Haskell with Stephanie Weirich
At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere....
View ArticleGod’s Programming Language With Philip Wadler
Does god code in Haskell? Professor and accomplished programming language researcher Philip Wadler believes that typed lambda calculus was discovered not invented — part of the underpinnings of the...
View ArticleThe Little Typer With Dan Friedman and David Christiansen
When it comes to type systems “I am, so far, only in the dependent types camp” – Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind...
View ArticleRefinement Types with Niki Vazou
Formal verification and type systems – how do they relate? Niki Vazou is on a mission to bring better formal verification to the masses. I have done a couple of episodes about dependent types and my...
View ArticleCategory Theory with Bartosz Milewski
Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers. The world of functional programming is rife with...
View ArticleKrystal’s Story
Chasing Your Curiosity and Continuous Learning Things are easier to learn when you are passionate about something. A lot of great careers are built on curiosity and obsession including Krystal Maughan...
View ArticleKrystal’s Story
Chasing Your Curiosity and Continuous Learning Things are easier when you are passionate about something. A lot of great careers are built on curiosity and obsession including Krystal Maughan our...
View ArticleWe are teaching functional programming wrong
Today Richard Feldman shares his story of going from javascript developer to elm developer to functional programming teacher. Along the way, Richard finds that people are teaching functional...
View ArticleWe are teaching Functional Programming Wrong
Today Richard Feldman shares his story of going from javascript developer to elm developer to functional programming teacher. Along the way, Richard finds that people are teaching functional...
View ArticleDependant Haskell
At Strange Loop 2017, I wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere....
View Article
