Re: Declaring Lisp function types

[Andrea Corallo]

Adam Porter <adam@alphapapa.net> writes:

[...]

>> 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.
>
> Forgive me if I've missed it, but why do you dislike #3?

Hi Adam, you can find my messages in this very thread on this, not sure
I've a better way to explain it.

Thanks

  Andrea