Re: [External] : Emacs object type hierarchy

[Emanuel Berg]

Richard Stallman wrote:

>> Yes, it would be good to have the Elisp type hierarchy
>> spelled out. This is what the Common Lisp doc says about
>> its hierarchy, FWIW:
>
> Have we ever defined such a hierarchy for Emacs Lisp? (I
> don't think so.)
>
> If not, do we want to? What would would that involve?

Computer Science type theory put into practice for our
favorite language? So very exciting :)

> And would having such a defined hierarchy tend to lead us to
> think we need to do other work -- work which, arguably, we
> don't really need to do?

I bet it has to do with the "inferred type" stuff we have with
native compilation? And possibly applications of that?

Trust me, this guy is our star, the more we have him on the
ice, the better for all of us :) \o/

-- 
underground experts united
https://dataswamp.org/~incal