Re: Declaring Lisp function types

[Eli Zaretskii]

> Date: Sat, 24 Feb 2024 02:56:14 -0600
> Cc: acorallo@gnu.org, adam@alphapapa.net, emacs-devel@gnu.org
> From: Adam Porter <adam@alphapapa.net>
> 
> >> That looks nice to me.  My only suggestion would be to change the symbol 
> >> `function` to `type`, i.e.
> >> 
> >>    (defun sum (a b)
> >>      (declare (type (integer integer) integer))
> >>      (+ a b))
> >> 
> >> Because it would be more concise and descriptive.
> > 
> > FWIW, Andrea's proposal looks more descriptive to me.  "Type" is too
> > general, whereas "function" is more specific.
> 
> I don't understand what you mean.  ISTM that "type" is exactly what's 
> being declared

Yes, but type of what?  If you were to suggest function-type or
function-signature or something with "function" in its name, I'd like
it better.