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
--------
2:01:08
--------
2:01:08
#5 Sashan Govender
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
--------
1:14:40
--------
1:14:40
#4 Gabriela Moreira
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
--------
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
--------
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
France