What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!Topics covered:HaskellTyped holesUsing AI for code generationLift weights, not just monadsLinks:Starting StrengthPumping IronYou come to me at runtime, to tell me the code you are executing does not compileThe Lambda CubeGhost in the HaskellMatthias websiteCSI: HaskellSynthesis and Repair for Functional Programming: A Type- and Test-Driven ApproachThe Spectacular paperPropR: Property-Based Automatic Program Repair
--------
1:31:45
--------
1:31:45
#12 Almir Mesic
In this episode I talk with Almir Mesic about all things F#! We cover topics like:The advantages of F#Introducing F# at an C# companyHow thinking in functions helps you improve your codeDomain-Driven DesignThe “units of measure” feature in F#Almir has also prepared a special promo code for his course F# Bite-sized!Use the code FUNCPROG at checkout and you will get a 25% discount.https://fsbitesized.com/LinksF# Bite-sized—use the code "FUNCPROG" at checkout for a 25% discount!Gabriella Gonzalez — “Thinking in Algebras” (Elucidations podcast, Episode 147)Gary Bernhardt — “Boundaries”Domain Modeling Made Functional — Scott WlaschinScott Wlaschin — Dependency Injection postEssential F# — Ian RussellF# for Fun and Profit — Scott WlaschinMark Seemann — blog
--------
1:35:43
--------
1:35:43
#11 Elisabeth Stenholm
In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!We cover topics like:Homotopy type theoryProof assistantsLanguages Rocq, Lean4, Agda, IdrisProving theorems in Lean4How to get started with dependent types and proof assistantsLinksTheorems for free Propositions as typesElisabeth’s Func Prog presentation Formally verified C compiler Property-based testing in F#Building Idris in Idris Elisabeth's PhD thesis
--------
1:43:27
--------
1:43:27
#10 Robert Smith
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
Brasil