Seems there are a fair number of people concerned about community splits between those that opt into the new type system and those that don’t.
If that is addressed, there might be some useful precedence in a different community/ecosystem that might provide an analogue for us here: PHP.
When PHP first got popular it was just an imperative language. Eventually it got pretty substantial, but opt-in, object oriented development features which I believe are the now the norm in the majority of professional level PHP applications. I think what happened during that expansion of features and the community response to those features becoming available may be instructive in at least imagining what might happen with the set-theoretic type system and Elixir.
I should caveat this with I didn’t really live this PHP transition as a developer at all. Being an enterprise guy, PHP was always on the periphery of the work I was involved in, but rarely something that had my direct attention. In other words I could be off base in my thinking here.
so hopefully, it could incrementally add it to codebases.
