Thinking Elixir Podcast cover image

104: Exploring Our Data with Chris Grainger

Thinking Elixir Podcast

00:00

Introduction

An ongoing PhD scholarship for researching and developing a type system for Elixir that is powered by something called settheoretic types. This allows us to build our typing rules on top of known set operations, such as union, intersection, and negation. It's just a very early stage, but theoretically, it's looking like it could map really well onto Elixir. There may be some good progress that they've already seen.

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