AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
2min chapter
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
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode