type_check (hex): Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.
Keywords: elixir-lang|metaprogramming|property-based-testing|type-checking