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

Marianne Writes a Programming Language by Marianne Bellotti

Mar 31, 202100:27:31Technology

Still struggling to understand how to implement uncertain types, Marianne calls on two friends to sit down with her and brainstorm different approaches. It looks more and more like adding uncertainty will cause the langu...

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

Code Generation (featuring Tikhon Jelvis)

Apr 7, 2021 - 00:30:04

Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form...

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