On 04/02/11 00:04, Zefram wrote: >> There is absolutely zero way >> that these type constraints can be proved at compile time even when you >> declare variables' types so you pay a huge runtime penalty. > That wouldn't change if it were in the core. Not instantly, no - but it would be nice to be able to move towards a world where Perl is actually capable of skipping some run-time type checks because it already knows that they can't be violated. I'm not saying this is going to be easy! SamThread Previous | Thread Next