Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language by Marianne Bellotti

Apr 7, 202100:30:04Technology

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 tal...

Related Episodes

Continue listening to more episodes from Marianne Writes a Programming Language.

Programs Split Over Multiple Files (featuring Troels Henriksen)

Apr 14, 2021 - 00:25:22

When thinking about how to create a language where little models can be combined into bigger more complex...

Uncertain Types part 2 (featuring Barak Michener and Eric Schles)

Mar 31, 2021 - 00:27:31

Still struggling to understand how to implement uncertain types, Marianne calls on two friends to sit dow...

Uncertain Types part 1 (featuring Maria Gorinova)

Mar 24, 2021 - 00:24:03

Equipped with new knowledge about type systems, Marianne begins speccing out plans to implement uncertain...

Type Systems (featuring Ron Garcia)

Mar 17, 2021 - 00:24:28

Marianne completely underestimates the complexity of type systems and struggled to figure out how inferen...

Syntax Sugar (featuring James Houghton)

Mar 10, 2021 - 00:28:44

A few weeks of user testing has revealed specific problems with the syntax of Fault. Marianne ponders var...

User Research for Programming Languages (featuring Michael Coblenz)

Dec 23, 2020 - 00:24:12

Marianne has a working prototype of Fault, but still no idea if anyone will understand the design or find...

Exceptions Are Not Errors (featuring Smokey Jones)

Dec 16, 2020 - 00:23:39

Inevitably the best way to make design decisions is to practice implementation over and over again. Maria...

From Parse Tree to Evaluator (featuring Sarah Withee)

Dec 9, 2020 - 00:25:48

A parser generator like ANTLR won't handle evaluating programs written in your new language. You need to...