On Sat, Mar 30, 2013 at 11:33:37PM +0100, Felix wrote: > that refinement generalizes the type of a variable to cover all uses > of it, and that makes it very difficult to figure out the most > specific type, in particular when the type changes during the lifetime > of a variable. List-types create more problems as this example > shows. So I can only keep suggesting not to use strict-types but in > special situations.
Would you be so kind as to explain what exactly is the purported use of strict-types? It's all rather unclear to me right now. Cheers, Peter -- http://www.more-magic.net _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers