Introduction

Jose Valim, creator of the Elixir programming language. We talk about a project he's been working on to introduce static types to Elixir. And we get into more details about trade-offs and different type-checking strategies.