We want some way to have code sharing which is more efficient than traits (in terms of time and space) and more flexible than enums. Our primary use case is the Servo DOM, but we would like this to be more general purpose too. Our constraints are:
cheap field access from internal methods;
cheap dynamic dispatch of methods;
cheap downcasting;
thin pointers;
sharing of fields and methods between definitions;
safe, i.e., doesn’t require a bunch of transmutes or other unsafe code to be usable.
But that discussions seems to have died down and nobody’s working on it.
I just wish it finally had “efficient inheritance”.
But that discussions seems to have died down and nobody’s working on it.
Anti Commercial-AI license