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 co...@ccil.org Tautology is something that is tautological. --Francois-Rene Rideau _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers
