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
--------
1:20:24
#3 Peter (PEZ) Strömberg
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 ProgramsGuardrailsJankBabashkaSquintMalliThe 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
--------
1:42:42
#2 Lachezar Yankov
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 presentationZioZiverge on YouTubeZionomiconScala Times
--------
1:26:39
#1 Sergei Winitzki
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
Netherlands