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
--------
1:44:01
--------
1:44:01
#6 Fernando Borretti
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
Sverige