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

[John Cowan]

Peter Bex scripsit:

> 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.  This way
> it would not only affect callers, but also the procedure itself, which
> makes it easy to improve performance of portable libraries without
> hacking them to pieces.

As an author of SRFIs, I strongly support this.  I don't think users of
other Schemes want to read code littered with Chicken-specific (or
Racket-specific) type information, even if judicious use of macros
makes the type information disappear before their compilers or interpreters
try to process it.  It's just as important for programs to communicate
algorithms to other people as to their computers.

-- 
John Cowan          http://www.ccil.org/~cowan        address@hidden
Tautology is something that is tautological.  --Francois-Rene Rideau