Qqwy/elixir-type_check

This is stars and forks stats for /Qqwy/elixir-type_check repository. As of 02 May, 2024 this repository has 502 stars and 22 forks.

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects. Core ideas Type- and function specifications are constructed using (essentially) the same syntax as built-in Elixir Typespecs. When a value does not match a type check, the user is shown human-friendly error messages. Types and type-checks are generated at compiletime. This means type-checking code is optimized rigorously by the compiler. Property-checking generators can be extracted from type specifications without extra...