Func Prog Podcast

Christoffer Ekeroth
  • 5,0 (3)
  • TEKNOLOGI
  • VARANNAN VECKA

This is the Func Prog Podcast, a podcast about functional programming.

  1. 30 JAN.

    #15 Giacomo Cavalieri

    In this episode, I talk to Giacomo Cavalieri, a core Gleam team member. We cover what makes Gleam special and why developers love it, and how it brings modern type safety to the battle-tested Erlang ecosystem. How did Gleam become Stack Overflow's 2nd most admired language in such a short time? Listen to the episode and find out! Topics Covered Gleam's design philosophy of simplicity and the "one way of doing things" approachStatically typed functional programming with the Hindley-Milner type systemHow Gleam targets the BEAM VM and JavaScript for full-stack developmentThe history of BEAM and OTPWho uses Gleam in productionThe Lustre framework for building web applications in GleamIntegrating Gleam with OTPHow Gleam made it to 2nd Most Admired Language in the Stack Overflow 2025 SurveyHow to speak at conferencesWhy Gleam deliberately excludes type classes and traitsThe future of GleamLinks Gleam.runGleam Language TourGleam RoadmapGleam Case StudiesGiacomo Cavalieri's WebsiteGiacomo's Func Prog Conference TalkGiacomo's GitHubGiacomo's BlueSkyGiacomo's TwitchLustre Web FrameworkGleam OTP LibraryStack Overflow Developer Survey 2025Func Prog ConferenceCode BEAM EuropeGOTO CopenhagenLambda Days ConferenceStrand Case StudyUncoverThe Zen of Python (PEP 20)Paul Graham's Blub Paradox

    1 tim 32 min

  2. 2025-11-24

    #14 Robert Kreuzer

    In this episode, I sit down with Robert Kreuzer, co-founder and CTO at 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 started How pivoting from their initial idea made Channable a success Using Haskell in production What are the pros and cons of using Haskell? Haskell VS Rust Hiring for Haskell Links: Channable Channable jobs The origin story of Haskell at Channable Effectful David Christensen - Coding for Types Robert Kreuzer on LinkedIn

    1 tim 20 min

  3. 2025-10-31

    #13 Matthías Páll Gissurarson

    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: Haskell Typed holes Using AI for code generation Lift weights, not just monads Links: Starting Strength Pumping Iron You come to me at runtime, to tell me the code you are executing does not compile The Lambda Cube Ghost in the Haskell Matthias website CSI: Haskell Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach The Spectacular paper PropR: Property-Based Automatic Program Repair

    1 tim 32 min

  4. 2025-10-09

    #12 Almir Mesic

    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# company How thinking in functions helps you improve your code Domain-Driven Design The “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/ Links F# 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 Wlaschin Scott Wlaschin — Dependency Injection post Essential F# — Ian Russell F# for Fun and Profit — Scott Wlaschin Mark Seemann — blog

    1 tim 36 min

  5. 2025-09-25

    #11 Elisabeth Stenholm

    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 theory Proof assistants Languages Rocq, Lean4, Agda, Idris Proving theorems in Lean4 How to get started with dependent types and proof assistants Links Theorems 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

    1 tim 43 min

  6. 2025-09-10

    #10 Robert Smith

    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 years REPL-driven development (and why you might not always want a REPL attached!) What makes Common Lisp special How Coalton brings a powerful, Haskell-like type system to Common Lisp Writing efficient code without turning your beautiful Common Lisp code into pulp Had I given my podcasts titles, this one could be called "Much Ado About Macros" Episode links: Toward safe, flexible, and efficient software in Common Lisp Debugging Lisp in space A Road to Common Lisp Coalton Hackett stylewarning.com @stylewarning

    2 tim 23 min

  7. 2025-08-27

    #9 Hécate

    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 systems Effectful Input validation using validation-selective Archery How to get started with Haskell Links: Flora How to write a Haskell program Effectful Haskell Programming From First Principles Finding Success (and Failure) in Haskell Effect Systems in Practice Haskell Discourse

    2 tim 14 min

  8. 2025-07-30

    #8 Aram Hăvărneanu

    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 systems How types can be used to represent meaning Set-theoretic types The limitations of Rust How fully embracing linear logic opens up new types of program safety Dependent types Links: CUE Aram's post about Curry-style type systems Rich Hickey's "Maybe Not" talk Church VS Curry Types The Verse Calculus

    3 tim 2 min
Visa alla (15)

Betyg och recensioner

5
av 5
3 betyg

Om

This is the Func Prog Podcast, a podcast about functional programming.

Information

  • Skapad av
    Christoffer Ekeroth
  • Aktiva år
    2025 - 2026
  • Avsnitt
    15
  • Åldersgräns
    Vuxet innehåll
  • Copyright
    © Christoffer Ekeroth
  • Programmets webbplats
    Func Prog Podcast

Du kanske också gillar