Re: Declaring Lisp function types

[Andrea Corallo]

I'd like to progress on this but in order to do that we should pick a
syntax.

Of the three most discussed syntaxes in this thread my order of
preference is (by examples):

1:

(defun sum (a b)
  (declare (function (integer integer) integer))
  (+ a b))

2:

(defun sum (a b)
  (declare (type (function (integer integer) integer)))
  (+ a b))

3:

(defun sum (a b)
  (declare (type (integer integer) integer))
  (+ a b))

For the reasons I've already expressed: 1 I like it, 2 I'm okay with it,
3 I very much dislike it.

Maintainers WDYT?

Thanks

  Andrea