Func Prog Podcast

In this episode, I sit down with Robert Kreuzer from Channable to hear what it's like using Haskell in production. You will hear the story of Channable, and how Haskell worked its way into their code base.Topics covered:How Channable got startedHow pivoting from their initial idea made Channable a successUsing Haskell in productionWhat are the pros and cons of using Haskell?Haskell VS RustHiring for HaskellLinks:ChannableChannable jobsThe origin story of Haskell at ChannableEffectfulDavid Christensen - Coding for TypesRobert Kreuzer on LinkedIn

What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!Topics covered:HaskellTyped holesUsing AI for code generationLift weights, not just monadsLinks:Starting StrengthPumping IronYou come to me at runtime, to tell me the code you are executing does not compileThe Lambda CubeGhost in the HaskellMatthias websiteCSI: HaskellSynthesis and Repair for Functional Programming: A Type- and Test-Driven ApproachThe Spectacular paperPropR: Property-Based Automatic Program Repair

In this episode I talk with Almir Mesic about all things F#! We cover topics like:The advantages of F#Introducing F# at an C# companyHow thinking in functions helps you improve your codeDomain-Driven DesignThe “units of measure” feature in F#Almir has also prepared a special promo code for his course F# Bite-sized!Use the code FUNCPROG at checkout and you will get a 25% discount.https://fsbitesized.com/LinksF# Bite-sized—use the code "FUNCPROG" at checkout for a 25% discount!Gabriella Gonzalez — “Thinking in Algebras” (Elucidations podcast, Episode 147)Gary Bernhardt — “Boundaries”Domain Modeling Made Functional — Scott WlaschinScott Wlaschin — Dependency Injection postEssential F# — Ian RussellF# for Fun and Profit — Scott WlaschinMark Seemann — blog

In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!We cover topics like:Homotopy type theoryProof assistantsLanguages Rocq, Lean4, Agda, IdrisProving theorems in Lean4How to get started with dependent types and proof assistantsLinksTheorems for free Propositions as typesElisabeth’s Func Prog presentation Formally verified C compiler Property-based testing in F#Building Idris in Idris Elisabeth's PhD thesis

In this podcast I get down to business with Robert Smith, the creator of Coalton, a language-within-a-language for Common Lisp. We cover a bunch of things, including:LISP through the yearsREPL-driven development (and why you might not always want a REPL attached!)What makes Common Lisp specialHow Coalton brings a powerful, Haskell-like type system to Common LispWriting efficient code without turning your beautiful Common Lisp code into pulpHad I given my podcasts titles, this one could be called "Much Ado About Macros"Episode links:Toward safe, flexible, and efficient software in Common LispDebugging Lisp in spaceA Road to Common LispCoaltonHackettstylewarning.com@stylewarning

Hécate is a Haskell engineer and prolific contributor to the Haskell ecosystem—in this episode we talk about using Haskell in production, effect systems and how empathy can help you build better software.Topics covered:Effect systemsEffectfulInput validation using validation-selectiveArcheryHow to get started with HaskellLinks:FloraHow to write a Haskell programEffectfulHaskell Programming From First PrinciplesFinding Success (and Failure) in HaskellEffect Systems in PracticeHaskell Discourse

In this mind-bending episode I do a deep dive into the world of programming language design and type systems with Aram Hăvărneanu.We cover a lot of things, including:The difference between Curry- and Church-style type systemsHow types can be used to represent meaningSet-theoretic typesThe limitations of RustHow fully embracing linear logic opens up new types of program safetyDependent typesLinks:CUEAram's post about Curry-style type systemsRich Hickey's "Maybe Not" talkChurch VS Curry TypesThe Verse Calculus

In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:What makes Unison different from other programming languagesWhy putting your source code in a database instead of files might be a good ideaHow Unison lets you avoid serialization boilerplateWhy Unison doesn't have monadsLinks:Get tickets for Func Prog Conf!Scala Stockhom August MeetupShoehorning dependency injection into a FP languageTurning Actors Inside-OutDo We Need Effects To Get Abstraction?Eric's GitHub PageScrap Your Type Classes

In this episode I chat with Fernando Borretti, creator of the Austral programming language. We cover a bunch of different topics, such as:What makes Austral different from other systems programming languagesLinear types and how they can be used for efficient resource managementHow to create your own programming languageRust for programming language developmentThe importance of tooling and ecosystem for technology adoptionRust VS OCamlLinks:Borretti.me@zetalyraeLessons From Writing A CompilerDesign of the Austral CompilerLeaving Rust gamedev after 3 yearsGame Scripting MasteryCrafting InterpretersPLT RedexHow should I read type system notation?forall X: Calgary

Sashan Govender is a senior developer with more than 20 years in the industry; in this episode we talk about F#, a language that combines functional programming with productivity, power and pragmatism.Topics covered:What really matters when it comes to delivering softwareThe advantages of typed functional programmingPros and cons of F#Why some companies might be reluctant to adopt functional programmingEpisode links:What color is your function?Tony Hoare's CSP paperTechempower BenchmarksExpert F# book

Gabriela Moreira is the lead developer of Quint, a modern and executable specification language. We talk about formal methods, model checkers and how learning functional programming is not so much difficult as it is differentTopics covered:QuintFormal MethodsTLA+Leslie LamportModel checkingEpisode links:QuintTLA+Philip Wadler - Propositions as TypesGabriela's websiteLogic for ProgrammersLearn TLA+Who Builds a House Without Drawing Blueprints?Peter Alvaro - I see what you mean

Peter Strömberg, aka "PEZ", is a Clojure programmer and creator of the popular Calva plug-in for VSCode. In this episode we do a deep-dive into Clojure and explore the power of Lisp and dynamically typed functional programming.Topics covered:REPL-driven developmentData-oriented programmingLisp and MacrosWhat makes Clojure specialPopular Clojure librariesEpisode links:Func prog confCalvaCalva MCPStructure and Interpretation of Computer ProgramsGuardrails⁠JankBabashkaSquintMalliThe Value of ValuesSimple Made Easy⁠⁠"Just use maps"KandriaGOAL - Game-oriented Assembly LispPurely Functional Data StructuresPaul Graham's Lisp paperDavid NolenParens of the DeadFred OverflowChristian JohansenEasel Editor

In this episode we do a deep-dive into Scala and Zio with Lachezar Yankov! We talk about how a strong type system can help productivity, what the Zio ecosystem has to offer, and much more...The appeal of static typingThe pragmatic side of statically typed functional programmingThe basics of ZioEffect SystemsHeadline-oriented programmingEpisode links:Lachezar's personal websiteLachezar's Zio presentation⁠ZioZiverge on YouTubeZionomiconScala Times

Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including: What makes a good programming language? Why the future of programming is declarative. How to design a programming language. Dhall and System F Omega. Why recursion is more dangerous than you might think. Episode links: The Science of Functional ProgrammingProgramming in System F⍵⁠Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?⁠Beautiful RacketThe Dhall Configuration LanguageScall - A Dhall implementation in ScalaDhall implementation guideIntro Music: Lofi Rnb Music by SigmaMusicArt