[sodapopcan]

The semantics can certainly be argued, but a type system is sort of on its own tier of as far as language features go. Most importantly, there is only going to be one backward incompatible change which is the spec syntax, otherwise it is just leveraging how we already write Elixir.

[ellroy]

Yes, I'm not worried about it. I've not been following it as closely as I'd like, but from what I've read the core team seems to be taking a very measured incremental approach with the type system.

[sodapopcan]

Yep! It's leveraging pattern-matching and guards as well as looking at code itself for inference.