Developer Voices cover image

Creating and Evolving Elixir (with José Valim)

Developer Voices

00:00

Implementing Type Systems with Set Operations in Programming Languages

Exploring how types in programming languages can be represented as sets and checked for compatibility using set operations like unions, intersections, and negations. The chapter discusses the implementation of Elixir types in a set and the abstraction of complexity for users within the Elixir compiler.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app