[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot

From: John Cowan
Subject: Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations
Date: Sat, 12 Dec 2015 10:13:15 -0500
User-agent: Mutt/1.5.20 (2009-06-14)

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        address@hidden
Tautology is something that is tautological.  --Francois-Rene Rideau

reply via email to

[Prev in Thread] Current Thread [Next in Thread]