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.
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 ;-).