Building A Programming Language From Its Core (with Peter Saxton)
A language’s AST—it’s abstract syntax tree—is nearly always a hidden implementation detail. It’s not treated as part of the language, but merely the intermediate step between parsing and compiling. But this week’s guest aims to flip that relationship on its head...
Peter Saxton joins me to talk about EYG - an AST-first language that defines the fundamental capabilities first, and then stretches out from there to surface syntax and final execution. The result is something that can teach us a lot about how a typed, functional programming language works; how an extensible effects system works; and can make writing a new programming language as easy as defining the syntax you want, and parsing that into EYG.
–
EYG Homepage: https://github.com/crowdhailer/eyg-lang
TinyGo: https://tinygo.org/
Type-Checking Elixir: • Creating and Evolving Elixir (with Jo...
Become a Supporter on Patreon: / developervoices
Become a Supporter on YouTube: / @developervoices
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: / krisjenkins
Kris on Twitter: / krisajenkins
–
0:00 Intro
2:09 Why Create EYG?
4:07 The Problem With “Functional Core, Imperative Shell”
7:29 Implementing Effect HAndling
14:34 The Core Abstract Syntax Tree
21:13 A Language Without Syntax?
28:19 What Are Row Types?
34:42 How Would You Add A Feature Like Async/Await?
41:23 Where’s Peter Taking EYG Next?
48:55 Why Write This In Gleam?
54:23, EYG’s Support, EYG’s Future
59:46 Outro
Watch video Building A Programming Language From Its Core (with Peter Saxton) online without registration, duration hours minute second in high quality. This video was added by user Developer Voices 07 August 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 6,00 once and liked it 22 people.