Shows
Func Prog Podcast#8 Aram HăvărneanuIn 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 ty...2025-07-303h 02Func Prog Podcast#7 Eric TorreborreIn 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...2025-07-161h 44Func Prog Podcast#6 Fernando BorrettiIn 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...2025-06-252h 01Func Prog Podcast#5 Sashan GovenderSashan 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...2025-06-111h 14Func Prog Podcast#4 Gabriela MoreiraGabriela 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...2025-05-281h 20Func Prog Podcast#3 Peter (PEZ) StrömbergPeter 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 ProgramsGuardrailsJank2025-05-131h 42Func Prog Podcast#2 Lachezar YankovIn 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 presentationZioZiverge on YouTubeZionomiconScala Times...2025-04-301h 26Func Prog Podcast#1 Sergei WinitzkiSergei 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 "...2025-04-161h 48
Kompilator060 - Vi unnar oss funktionell programmering med Christoffer EkerothChristoffer Ekeroth kommer på besök och gör en djupdykning i funktionell programmering.
På vägen blir det historier från utbildningens och Javas mörka dagar där man blev piskad till sömns varje kväll, och en enda flashfilm kunde ta ner hela datasalen. Christoffer berättar om vad funktionell programmering är, varifrån det kommer, och vad det egentligen innebär att ha ett starkt typsystem och varför det är trevligt. Plus en matig lista länktips.2023-04-0546 min
Kompilator059 [Grovklippt] - Alla använder AI fel med Christoffer EkerothVälkomna till det första avsnittet av Kompilator Grovklippt, där vi får höra för- och eftersnack till de ordinarie avsnitten som blev tillräckligt bra för att sändas.
I detta avsnitt pratar Bartek med Christoffer Ekeroth om AI och ChatGPT och varför alla använder AI fel.2023-03-2418 min