Code Generation (featuring Tikhon Jelvis)

https://is1-ssl.mzstatic.com/image/thumb/Podcasts115/v4/ce/31/27/ce3127cd-d7f1-5703-2ebd-698d7633978e/mza_8205481822228635066.jpg/600x600bb.jpg

Marianne Writes a Programming Language

Marianne Bellotti

13 episodes

1 week ago

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.

Technology

RSS

All content for Marianne Writes a Programming Language is the property of Marianne Bellotti and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/10000350/10000350-1603116431530-27dc701c6db6b.jpg

Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language

30 minutes 4 seconds

4 years ago

Code Generation (featuring Tikhon Jelvis)

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 normally generated by the compiler.