Re: Declaring Lisp function types

[Eli Zaretskii]

> Date: Fri, 23 Feb 2024 17:35:12 -0600
> Cc: 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.