Re: [PATCH] use feature 'method' take two

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!

Sam

• Proposal: "$->" for implicit invocant by Chia-liang Kao
• Re: Proposal: "$->" for implicit invocant by David Golden
• [PATCH] use feature 'method'; (was Re: Proposal: "$->" for implicit invocant) by chromatic
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by Zefram
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by Chris Prather
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" for implicit invocant) by chromatic
• [PATCH] use feature 'method' take two by chromatic
• Re: [PATCH] use feature 'method' take two by Zefram
• Re: [PATCH] use feature 'method' take two by Sam Vilain
• Re: [PATCH] use feature 'method' take two by Zefram
• Re: [PATCH] use feature 'method' take two by Sam Vilain
• Re: [PATCH] use feature 'method' take two by Reverend Chip
• Re: [PATCH] use feature 'method' take two by David E. Wheeler
• Re: [PATCH] use feature 'method' take two by Zefram
• Re: [PATCH] use feature 'method' take two by David Golden
• Re: [PATCH] use feature 'method' take two by David E. Wheeler
• Re: [PATCH] use feature 'method' take two by Matt Sergeant
• Re: [PATCH] use feature 'method' take two by chromatic
• Re: [PATCH] use feature 'method' take two by chromatic
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by Zefram
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by Eric Brine
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by Reini Urban
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by David Golden
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicitinvocant) by Steffen Mueller
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" for implicit invocant) by David E. Wheeler
• Re: [PATCH] use feature 'method'; (was Re: Proposal: "$->" forimplicit invocant) by David Golden
• Re: Proposal: "$->" for implicit invocant by Johan Vromans
• Re: Proposal: "$->" for implicit invocant by Zefram
• Re: Proposal: "$->" for implicit invocant by H.Merijn Brand