Re: Inferred function types in the *Help* buffer

[Mattias Engdegård]

1 juni 2023 kl. 17.10 skrev Andrea Corallo <acorallo@gnu.org>:

> It's just a very concise and effective way to express the input/output
> value/types of the function.  I, for one, find it very useful.

If we want to be as nice as possible to the user then perhaps we should massage 
the output a bit.
For instance, the `function` part is useless, and using the names of the 
arguments would be very helpful.

In other words, instead of describing `make-string` as

 (function (integer fixnum &optional t) string)

we could say something like

 LENGTH:integer INIT:fixnum MULTIBYTE -> string

(Not sure how practical it is, I'm just making this up.)

How concise are inferred types, for that matter? I can imagine them becoming 
pretty voluminous.

By the way, `expt` should have the return type `number`, not `float`. This is 
just something I noticed in passing; I haven't done any systematic review.