Concurrency and FP with Riccardo Terrell
When Riccardo Terrell hit the concurrency limitations in a jvm application, he thought back to the haskell he learned in a university course and decided to rewrite the entire thing in haskell. The...
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 ArticleDon and Adam discuss Folds
Today we try a different format. Adam invites his neighbour, Don McKay, over to ask him questions. An interesting discussion on recursion, corecursion and the naming of the podcast unfolds. Episode...
View ArticlePortal Abstractions with Sam Ritchie
How abstract algebra solves data engineering Today the story of how twitter engineers came up with a unique solution to data engineering. Adam interviews Sam about how the abstract algebra and...
View ArticlePortal Abstractions with Sam Ritchie
How abstract algebra solves data engineering Today the story of how twitter engineers came up with a unique solution to data engineering. Adam interviews Sam about how the abstract algebra and...
View ArticleAlgebraic Domain Modeling using Functions With Debasish Ghosh
Abstract Algebra Provides Tools for Building Better Software Domain-driven design pushes software architects to model a solution architecture. An algebraic approach to domain modeling using functions...
View ArticleErlang and Distributed Systems With Steven Proctor
Erlang evolved to support distributed computing. It became functional because of the need to limit side effects. In this episode, Steven Proctor discusses what he’s learned about 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 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 Article