On Sun, Mar 31, 2013 at 12:36:56AM +0100, Felix wrote: > Strict-types means you declare that variables never change their type, > once a type has been inferred (or explicitly declared). There are a > few places in the scrutinizer where it can make stronger assumptions > about variable types during flow-analysis, which leads to potentially > much better code. In fact, the improvements where the reason that the > option is there in the first place - it was just a straightforward > thing to do. For normal Scheme code these stronger assumptions are > often not valid. But if you use Scheme as a target language for other > languages (compiler-generated or by using macros extensively), it may > be possible to generate code that will still be valid in strict-types > mode. > > If you think this isn't worth the trouble of users getting confused, > we can remove the option and declaration (or simply undocument it).
I think this is an interesting "target mode", and might be useful in some cases. It's a little hard to pinpoint exactly when it will be useful, though. Perhaps a simple note in the manual as to the expected use cases might be enough? Cheers, Peter -- http://www.more-magic.net _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers