From Parse Tree to Evaluator (featuring Sarah Withee)

Marianne Writes a Programming Language

Player FM - Internet Radio Done Right

16 subscribers

Toegevoegd vier jaar geleden

Inhoud geleverd door Marianne Bellotti. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Marianne Bellotti of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

Peak Travel

1
Why Petra Needs Its People 28:39

9 dagen geleden28:39

Later Afspelen

Lijsten

Vind ik leuk

Leuk

28:39

For centuries, members of the B’doul Bedouin tribe lived in the caves around the ancient city of Petra, Jordan. Then, in the 1980s, the government forced the tribe to move in the name of preserving the geological site for tourists. But if the residents are forced to leave, and if their heritage has been permanently changed, then what exactly is being preserved? SHOW NOTES: Meet The Man Living in The Lost City Carved in Stone Jordan: Petra's tourism authority cracks down on Bedouin cave dwellers The tribes paying the brutal price of conservation “There is no future for Umm Sayhoun” Jordan’s Young Bedouins Are Documenting Their Traditions on TikTok Check out Sami's company Jordan Inspiration Tours Learn about your ad choices: dovetail.prx.org/ad-choices…

4 jaar geleden 25:48

MP3•Thuis aflevering

A parser generator like ANTLR won't handle evaluating programs written in your new language. You need to write the code for that yourself. Marianne explains how to build an AST from a parse tree, create an evaluation loop, and how esolangs (esoteric programming languages) make for great learning tools.

13 afleveringen

#Tech #Marianne Bellotti

From Parse Tree to Evaluator (featuring Sarah Withee)

Marianne Writes a Programming Language

16 subscribers

published 4 jaar geleden

MP3•Thuis aflevering

13 afleveringen

#Tech #Marianne Bellotti

Tüm bölümler

1
Programs Split Over Multiple Files (featuring Troels Henriksen) 25:22

4 years geleden25:22

25:22

When thinking about how to create a language where little models can be combined into bigger more complex system models, Marianne struggles to understand why not to take the completely straight forward approach of importing files. While searching for a good explanation she comes across the official blog of Futhark and decides to interview its lead on their design decisions.…

1
Code Generation (featuring Tikhon Jelvis) 30:04

4 years geleden30:04

30:04

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

1
Uncertain Types part 2 (featuring Barak Michener and Eric Schles) 27:31

4 years geleden27:31

27:31

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 language to scale to impractical levels of computational complexity… then suddenly Marianne has a stroke of inspiration that changes everything .…

1
Uncertain Types part 1 (featuring Maria Gorinova) 24:03

4 years geleden24:03

24:03

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 probabilistic programming evangelist—and wonders if she’s finally bitten off more than she can chew.…

1
Type Systems (featuring Ron Garcia) 24:28

4 years geleden24:28

24:28

Marianne completely underestimates the complexity of type systems and struggled to figure out how inference, checking and conversion work together. After a month of scraping together a smattering of facts, she calls on expert Ron Garcia to help her figure it out.

1
Syntax Sugar (featuring James Houghton) 28:44

4 years geleden28:44

28:44

A few weeks of user testing has revealed specific problems with the syntax of Fault. Marianne ponders various approaches to solving those problems and talks to James Houghton about the intersection between programming and system dynamic modeling.

1
User Research for Programming Languages (featuring Michael Coblenz) 24:12

4 years geleden24:12

24:12

Marianne has a working prototype of Fault, but still no idea if anyone will understand the design or find it useful. She needs to test it with some users and see whether it has the right features and syntax. To do this she talks with programming language researcher Michael Coblenz, who specializes in techniques for testing the usability of programming languages.…

1
Exceptions Are Not Errors (featuring Smokey Jones) 23:39

4 years geleden23:39

23:39

Inevitably the best way to make design decisions is to practice implementation over and over again. Marianne experiments with writing different types of specs and considers various ways they could be executed under the hood. Midway through she realizes she doesn't actually understand how to think about errors and attempts to do more research while her cat tries to distract her.…

Player FM scant het web op podcasts van hoge kwaliteit waarvan u nu kunt genieten. Het is de beste podcast-app en werkt op Android, iPhone en internet. Aanmelden om abonnementen op verschillende apparaten te synchroniseren.

Luister naar 500+ onderwerpen

16 subscribers

Overeenkomstig met Marianne Writes a Programming Language

Amazon Fire TV Stick HD (newest model), free and live TV, Alexa Voice Remote, smart home controls, HD streaming

Amazon Basics Multipurpose Copy Printer Paper, 8.5" x 11", 20 lb, 8 Reams, 4000 Sheets, 92 Bright, White

Bounty Quick Size Paper Towels, White, 8 Family Rolls = 20 Regular Rolls (Packaging May Vary)

Podcasts die het beluisteren waard zijn

Marianne Writes a Programming Language « » From Parse Tree to Evaluator (featuring Sarah Withee)

From Parse Tree to Evaluator (featuring Sarah Withee)

Podcasts die het beluisteren waard zijn

Welkom op Player FM!

TERRO Ant Killer Bait Stations T300B - Liquid Bait to Eliminate Ants - 12 Count Stations for Effective Indoor Ant Control

Ailun 3 Pack Screen Protector for iPhone 16 Pro [6.3 inch] + 3 Pack Camera Lens Protector with Installation Frame,Case Friendly Tempered Glass Film,[9H Hardness] - HD [6 Pack]

Amazon Basics Multipurpose Copy Printer Paper, 8.5 x 11 inches, 20 lb, 1 Ream, 500 Sheets, 92 Bright, White

Apple AirTag

Overeenkomstig met Marianne Writes a Programming Language

Korte handleiding

Marianne Writes a Programming Language « »
From Parse Tree to Evaluator (featuring Sarah Withee)