More holiday reading.
The original, interpretiveimplementation of Icon performs rigorous run-time type checking and incurs significant overhead as a result. A new optimizing compiler for Icon, on the other hand, has a type inferencing system that is effective in determining type usage and in eliminating much of the run-time checking that otherwise would be required.
In a sense this is similar to soft typing.
One interesting particularity is that Icon generators, that produce a sequence of values, need not always yield values of the same type.
The type inferencing system was used to collect data about many Icon programs. The data showed that, on the average, the operands of about 80% of the operators in these programs always had the same type.
Posted to implementation by Ehud Lamm on 12/26/02; 3:26:11 PM