DiscoverFunc Prog Podcast#6 Fernando Borretti
#6 Fernando Borretti

#6 Fernando Borretti

Update: 2025-06-25
Share

Description

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

Comments 
In Channel
#14 Robert Kreuzer

#14 Robert Kreuzer

2025-11-2401:20:07

#12 Almir Mesic

#12 Almir Mesic

2025-10-0901:35:43

#11 Elisabeth Stenholm

#11 Elisabeth Stenholm

2025-09-2501:43:27

#10 Robert Smith

#10 Robert Smith

2025-09-1002:23:28

#9 Hécate

#9 Hécate

2025-08-2702:14:22

#8 Aram Hăvărneanu

#8 Aram Hăvărneanu

2025-07-3003:02:07

#7 Eric Torreborre

#7 Eric Torreborre

2025-07-1601:44:01

#6 Fernando Borretti

#6 Fernando Borretti

2025-06-2502:01:08

#5 Sashan Govender

#5 Sashan Govender

2025-06-1101:14:40

#4 Gabriela Moreira

#4 Gabriela Moreira

2025-05-2801:20:24

#3 Peter (PEZ) Strömberg

#3 Peter (PEZ) Strömberg

2025-05-1301:42:42

#2 Lachezar Yankov

#2 Lachezar Yankov

2025-04-3001:26:39

#1 Sergei Winitzki

#1 Sergei Winitzki

2025-04-1601:48:08

00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

#6 Fernando Borretti

#6 Fernando Borretti

Christoffer Ekeroth