Is this your podcast?
Sign up to track ranks and reviews from Spotify, Apple Podcasts and more
Marianne Writes a Programming Language
Marianne Bellotti wants to understand how the people who design programming languages do what they do, so she's jumping right in and giving it a shot by writing her own language. Follow along as she struggles to understand parsers, lexers, grammars, gets philosophical about the nature of error handling and gets in way over her head too easily and too often.
Listen now
Ratings & Reviews
Fascinating Brain Food
I love it. Marianne’s journey into understanding and writing her own programming language dives deep into a lot of interesting subjects that intersect, a few early ones mentioned are first order logic, ‘what *is* grammar?’ and what design decisions do or can go into developing a new language. I...Read full review »
Ody the fruity via Apple Podcasts · United States of America · 08/16/21
Recent Episodes
When thinking about how to create a language where little models can be combined into bigger more complex system models, Marianne struggles to understand why not to take the completely straight forward approach of importing files. While searching for a good explanation she comes across the...
Published 04/14/21
Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that talk, Tikhon Jelvis, to elaborate on the similarities between SMT and code...
Published 04/07/21
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.