Use new unification and substitution type checking algorithm for type inference
Treat Interfaces and Abstract classes as regular classes in Python
Some regression has taken place due to the large change.
The removed language features will gradually reappear as we build the language within the new system, as re-adding them all back in one go proved tiresome.
A few things that have been removed.
Summary
Some regression has taken place due to the large change. The removed language features will gradually reappear as we build the language within the new system, as re-adding them all back in one go proved tiresome. A few things that have been removed.