TypeCheck - Effortless Runtime Type Checking

Explore runtime type checking in Elixir with TypeCheck, a library that enhances existing types and specs, in this conference talk from ElixirConf EU 2022. Discover how to implement effortless runtime type checks, generate clear error messages, improve documentation, and create automated property-based 'spectests' for your Elixir projects. Learn about the benefits and potential drawbacks of runtime type checking, and gain insights into the complex metaprogramming that powers TypeCheck. Follow along as the speaker delves into the concept of typechecking, explains function contracts, demonstrates error message readability, and showcases advanced features. Conclude with a Q&A session to deepen your understanding of this powerful tool for improving code clarity, testability, and resilience in Elixir development.

00:00 - - Intro
02:32 - - What is Typechecking and What is a Type?
13:11 - - The Contract of a Function
21:24 - - How Readable are the Error Messages?
24:37 - - Advanced Features
31:55 - - Conclusion & QnA