Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language by Marianne Bellotti

Nov 25, 202000:19:52Technology

What kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and mo...

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

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