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 yearsREPL-driven development (and why you might not always want a REPL attached!)What makes Common Lisp specialHow Coalton brings a powerful, Haskell-like type system to Common LispWriting efficient code without turning your beautiful Common Lisp code into pulpHad I given my podcasts titles, this one could be called "Much Ado About Macros"Episode links:Toward safe, flexible, and efficient software in Common LispDebugging Lisp in spaceA Road to Common LispCoaltonHackettstylewarning.com@stylewarning
--------
2:23:28
--------
2:23:28
#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 systemsEffectfulInput validation using validation-selectiveArcheryHow to get started with HaskellLinks:FloraHow to write a Haskell programEffectfulHaskell Programming From First PrinciplesFinding Success (and Failure) in HaskellEffect Systems in PracticeHaskell Discourse
--------
2:14:22
--------
2:14:22
#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 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 type systemsRich Hickey's "Maybe Not" talkChurch VS Curry TypesThe Verse Calculus
--------
3:02:07
--------
3:02:07
#7 Eric Torreborre
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
Österreich