Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations

[Dan Leslie]

> And even if there are other Schemes with type hints (I'd love to hear if
> I've overlooked any!), I doubt they use a compatible syntax to ours,
> which means a wrapper macro would be pretty hairy.

Off the top of my head, there is also Kawa[0].

> Maybe this is a good feature to add: a way to indicate that a type
> declaration for the argument types to a procedure declared elsewhere
> should be considered an assumption in the procedure body.

I'm afraid that I don't quite follow. Do you mean a CL-style declare[1]
within the body of the function; or do you mean that there may exist
type declarations elsewhere that modify the function's type signature,
and whose possible existence is implied?

Let's keep in mind that it's not only function parameters and return
values that may benefit from type declarations; as with CL-style declare
statements, it could be useful to pepper other symbols with type
declarations.

0: https://www.gnu.org/software/kawa/Types.html
1: http://clhs.lisp.se/Body/d_type.htm

-Dan