HaloO Autrijus,
you wrote:
D) Make the return type observe both #2 and #3 at compile time,
using type variables:
sub id ( (::T) $x ) returns ::T { return($x) }
And this is a natural extension to guide the inferencer so it won't be
totally giving up on polymorphic functions such
On Thu, Jul 28, 2005 at 05:03:05AM +0800, Autrijus Tang wrote:
Hence, it seems to me that there are only four ways out:
Some annotations copied from discussion in #perl6:
A) Omit the #3 check from compile time; at runtime, use the actual
type of $x. The returns type annotation will
On Thu, Jul 28, 2005 at 05:57:28AM +0800, Autrijus Tang wrote:
On Thu, Jul 28, 2005 at 05:03:05AM +0800, Autrijus Tang wrote:
Hence, it seems to me that there are only four ways out:
Some annotations copied from discussion in #perl6:
Last time I reply to myself on this thread, hopefully.