This video was recorded at ElixirConf EU 2022 - https://www.elixirconf.eu/ TypeCheck Effortless Runtime Type Checking | Wiebe-Marten Wijnja - Hammock-driven Developer ABSTRACT Marten loves conceiving things that just keep working. A Computing Scientist in body and mind. Marten has 14+ years of practical web-development experience. In 2012, he started to specialise in working with decentralised, distributed and fault-tolerant systems. Marten is an enthusiastic open sourcerer, a long-time developer using the Elixir programming language, known for maintaining some Elixir libraries, playing advocate of the devil on the elixir-lang-core mailing list and as a moderator on the Elixir Forum. In his spare time, Marten loves making music (piano, marimba), running, dancing and being excited by new discoveries. Talk: TypeCheck - Effortless runtime type-checking TypeCheck is an Elixir library that takes your existing Elixir types + specs and builds runtime type-checks, clear error messages, improved documentation and automated property-based ‘spectests’ on top of them! In this talk, Marten will explain how simple it is to use TypeCheck in your projects and why and when you’d want to. Also, he will give a small peek behind the curtain of the extensive not-so-simple metaprogramming required to make all of this happen ;-). Talk objectives: Explain to people the pros (and some cons) of using runtime type-checking to improve their codebase’s code clarity, testability and resilience. • Timecodes: 00:00 - 02:31 - Intro 02:32 - 13:10 - What is Typechecking and What is a Type? 13:11 - 21:23 - The Contract of a Function 21:24 - 24:36 - How Readable are the Error Messages? 24:37 - 31:54 - Advanced Features 31:55 - 36:13 - Conclusion & QnA • Follow us on social: Twitter: https://twitter.com/ElixirConfEU LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw