Re: [External] : Emacs object type hierarchy

[Emanuel Berg]

Andrea Corallo wrote:

> I don't think so, OTOH new code could make use of it easily
> and reliably instead of having to reverse engineer the
> current implementation.

One thing I think of immediately is if one could automatically
verify the type system by the way it is constructed and the
types' associated checkers, which would be the the predicate
functions, e.g. `listp', `stringp' and so on, and see if they
can all traverse their parts of the data structure
without fail.

And if it fails to verify it would be interesting to examine
where the problem appeared, and what was to blame, the
definition/relations or the typechecks ...

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