Is type-system conflict with Typespec?

Elixir’s type-system is in developing, I see $ looks also good, but:

  1. Does that mean we will abandon Typespec?
  2. Then how will those documents/types we ever defined?
  3. Typespec has deep relation with behaviours, how about that?

Typespecs are not expressive enough for the new type system, this is why new syntax will be added.

In theory typespecs can and most probably will be integrated with the new type system, because in essence typespecs functionality is a subset of the new typing system.

1 Like