Language design with Leo White
Signals and Threads
Is There a Stockholm Syndrome in O'Kamels?
In order to make the language modular and extensible at the level of the definition of language, you essentially have to make the proof of correctness of its type system also modular. One day, I'm hopeful that we will have that kind of ability, but yeah, it's difficult. And one way of escaping from the Stockholm syndrome is just to think about other languages and what they provide and think about what useful features you can steal.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
