The Changelog: Software Development, Open Source cover image

Gradually gradually typing Elixir (Friends)

The Changelog: Software Development, Open Source

00:00

Exploring Challenges in Implementing a Type System for Elixir

This chapter explores the difficulties encountered while implementing a type system for Elixir, highlighting early attempts and their limitations. The discussion includes the influence of a master's thesis on gradual type systems and the discovery of key research that deepened their understanding of the mathematical concepts at play.

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