2 ms·
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
by sodapopcan 2y ago
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 2y agoYes, 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 2y agoYep! It's leveraging pattern-matching and guards as well as looking at code itself for inference.