Wiebe-Marten Wijnja

Hammock-driven Developer

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

Level:

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.

Target audience:

  • The talk is geared towards people with intermediate Elixir experience who are interested in (static or dynamic) typing, improving their codebase’s clarity and/or their approach to testing.