Virtual functions are up next. I'm talking about final, override, abstract. Also clean up the internals to be less Itanium-ABI specific, and some general clean-uppery going on. After that, I will probably look at constants. I have an idea for how to handle them infinitely better than C++ but we will see what LLVM can support in this regard. And maybe include dynamic inheritance (virtual inheritance).
I've also been thinking about including & and | as type composers. | is more of a Concepts feature, but & I've been thinking can be useful for regular inheritance. This would effectively compose base classes to produce a new type, where any class that derives from both base classes is considered as deriving from this new type. The implementation I would think as being not too unlike dynamic inheritance, except that dynamic inheritance is intrusive and this feature would not be.
No comments:
Post a Comment