emacs-devel
[Top][All Lists]
Advanced

[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 04:03:44 +0200
User-agent: Gnus/5.13 (Gnus v5.13)

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




reply via email to

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