Uncertain Types part 1 (featuring Maria Gorinova)

Marianne Writes a Programming Language by Marianne Bellotti

Mar 24, 202100:24:03Technology

Equipped with new knowledge about type systems, Marianne begins speccing out plans to implement uncertain types and inject probabilistic programming into Fault models. She picks the brain of Maria Gorinova—researcher and...

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

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