Func Prog Podcast

In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:

What makes Unison different from other programming languages

Why putting your source code in a database instead of files might be a good idea

How Unison lets you avoid serialization boilerplate

Why Unison doesn't have monads

Links:

Get tickets for Func Prog Conf!

Scala Stockhom August Meetup

Shoehorning dependency injection into a FP language

Turning Actors Inside-Out

Do We Need Effects To Get Abstraction?

Eric's GitHub Page

Scrap Your Type Classes

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 languages

Linear types and how they can be used for efficient resource management

How to create your own programming language

Rust for programming language development

The importance of tooling and ecosystem for technology adoption

Rust VS OCaml

Links:

Borretti.me

@zetalyrae

Lessons From Writing A Compiler

Design of the Austral Compiler

Leaving Rust gamedev after 3 years

Game Scripting Mastery

Crafting Interpreters

PLT Redex

How should I read type system notation?

forall X: Calgary

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 software

The advantages of typed functional programming

Pros and cons of F#

Why some companies might be reluctant to adopt functional programming

Episode links:

What color is your function?

Tony Hoare's CSP paper

Techempower Benchmarks

Expert F# book

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 different

Topics covered:

Quint

Formal Methods

TLA+

Leslie Lamport

Model checking

Episode links:

Quint

TLA+

Philip Wadler - Propositions as Types

Gabriela's website

Logic for Programmers

Learn TLA+

Who Builds a House Without Drawing Blueprints?

Peter Alvaro - I see what you mean

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 development

Data-oriented programming

Lisp and Macros

What makes Clojure special

Popular Clojure libraries

Episode links:

Func prog conf

Calva

Calva MCP

Structure and Interpretation of Computer Programs

Guardrails⁠

Jank

Babashka

Squint

Malli

The Value of Values

Simple Made Easy

⁠⁠"Just use maps"

Kandria

GOAL - Game-oriented Assembly Lisp

Purely Functional Data Structures

Paul Graham's Lisp paper

David Nolen

Parens of the Dead

Fred Overflow

Christian Johansen

Easel Editor

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 typing

The pragmatic side of statically typed functional programming

The basics of Zio

Effect Systems

Headline-oriented programming

Episode links:

Lachezar's personal website

Lachezar's Zio presentation⁠

Zio

Ziverge on YouTube

Zionomicon

Scala Times

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 Programming

Programming in System F⍵

⁠Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?⁠

Beautiful Racket

The Dhall Configuration Language

Scall - A Dhall implementation in Scala

Dhall implementation guide

Intro Music: Lofi Rnb Music by SigmaMusicArt