[Top][All Lists]

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

Re: [Chicken-hackers] testcase -strict-types

From: Felix
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Fri, 05 Apr 2013 22:40:43 +0200 (CEST)

From: Peter Bex <address@hidden>
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Sun, 31 Mar 2013 01:00:01 +0100

> 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?

Will do.


reply via email to

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