TypeCheck - Fast and flexible runtime type-checking for your Elixir projects

The main option to resolve the problem of cycles in types, is lazy. This has a slight performance overhead, but for most usage (and definitely for adding types to e.g. has_one/has_many fields in your Ecto schemas) it is good enough.

1 Like