[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [External] : Emacs object type hierarchy

From: Emanuel Berg
Subject: Re: [External] : Emacs object type hierarchy
Date: Tue, 24 Oct 2023 11:32:50 +0200
User-agent: Gnus/5.13 (Gnus v5.13)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]