programming-talkscurated list on GitHubRecommends
Under “On Languages”
Programming should eat itself 00:47:40 by **Nada Amin** (2014)
0:00 / 0:00
#scheme#interpreters#metacircularevaluator
"Programming Should Eat Itself" by Nada Amin
Strange Loop Conference
88K subscribers • 114 videos on Hallway • Conference channel
- Recommended by 4 people: 3 on Hacker News and 1 curated list.
- A classic. People kept recommending it from 2017 to 2023.
- Presented by Nada Amin, researcher at EPFL
Advanced. Deep dive for people who know the field.
42K views12 years ago4 recommendations
Programming languagesSystems programmingCompilers and interpretersLanguage design and type systemsFunctional programming
Nada Amin explains towers of interpreters and nestable interpretation in Scheme, showing how interpreters can be stacked and collapsed.
by Nada Amin (@nadamin) - EPFL Nada Amin is a member of the Scala team at EPFL, where she studies type systems and hacks on programming languages. She has contributed to Clojure's core.logic and Google's Closure compiler. She's loved helping others learn to program ever since tutoring SICP as an undergraduate lab assistant at MIT.Why it's here
4 people recommend thisWhat people say. Recommended as a fascinating demonstration of the power of nestability and towers of interpreters.
minsighton Hacker News • Recommends
On “Collapsing towers of interpreters [pdf]”
This is a very intereresting video featuring one of the authors (Nada Amin). Strangely enough, I watched it a few hours ago. It's a quick overview of the "tower of interpreters" idea and some possibilities that it brings. link to this video
toshon Hacker News • Recommends
On “Rich Hickey on the Power of Lisp REPLs (2015)”
…Allegro? If not, I would definitely recommend trying it. … > link > link > Note multiple listeners, data inspectors and more. Maybe not the latest GUIs, but the capabilities should be a source of inspiration for any Clojure IDE. … > Here's a wonderful demonstration of the power of nestability: > "Programming Should Eat Itself" by Nada Amin link to this video…
Zambyteon Hacker News • Recommends
On “I have written a JVM in Rust”
This talk isn't about VMs, but it is about an infinite tower of interpreters. You may find it interesting: link to this video
juliangambleon Hacker News • Mentions
On “An Incremental Approach to Compiler Construction (2006) [pdf]”
Nada Amin, who gave the keynote at Strange Loop in 2014 "Programming Should Eat Itself" link to this video has worked through the implementation link and provided the corresponding workshop documentation in her github account. link She's also been involved in contributing to the next generation Scala compiler (Dotty).
freethejazzon Hacker News • Mentions
On “Explorative Programming”
Another take on non-linear explorational programming is Black, which is an extension of scheme. Different motivations, but you might find something interesting there. How I was exposed to it: link to this video
u/Roflhain r/ProgrammingLanguages • Mentions
On “ I'd like to have a language layered like an onion. ”
This is something I’ve also thought seemed interesting. There are some recommendations in here but for some more academic type focus on the topic check out the work of Prof. Nada Amin. As a starting point check out her talk from Strange Loop a few years back and follow it up with this paper.
Unfortunately none of it really materialized into a completed language but there are some GitHub experiments.