[Grace-core] inheritance for stateless traits and beyond

[Marco Servetto]

On 7 July 2015 at 06:52, PSU via GMail <andrew.p.black at gmail.com> wrote:
> Clearly, from a mathematical point of view, these are not both necessary. But from an Engineering point of view, the necessity of both should be clear.


Yes, and that is a good explanation of what i think should be a
language feature and what should be a library feature.