Re: (declare (type (function...

[Emanuel Berg <incal@dataswamp.org>]

Andrea Corallo wrote:

> I've no problem changing 'type' for something different if
> there's agreement, I don't especially like 'signature' as
> it's a bit verbose for my taste (but I could leave with it).

I think "signature" is extremely old school, by now completely
unintuitive terminology to everyone but a precious few.

But gpt4 sticks with it, so maybe?

Q: What is the difference between function declaration,
   prototype, and signature?
            
A: Function declaration defines the function, prototype
   declares its existence, and signature specifies its inputs
   and outputs.

As for greping source, searching code in buffers for unique
strings etc - and just in general - when something new and
fancy is introduced, it is always a good idea to give it a new
and fancy and, optimally, unique name. But if there isn't such
a name that makes sense in terms of technology it is also
never wrong to just call it whatever it is.

Maybe one can combine two words, declare type, type signature
... You can use apropos to see if you get any hits. It'll be
more cryptic but also unique and more cool in a way B)
`tsig' :)

BTW, in Python, there is a function signature concept that
isn't equal to this type signature concept.

-- 
underground experts united
https://dataswamp.org/~incal