Re: very basic type checking

2010-06-24 Thread Jan Ingvoldstad
On Wed, Jun 23, 2010 at 20:21, Darren Duncan wrote: > If all invocations of myop use a code literal for the $y argument, then > this can be checked at compile time, but if the argument is a variable, they > have to look further out. > > Yup. For those who don't quite see what this leads to, consi

Re: very basic type checking

2010-06-24 Thread yary
On Thu, Jun 24, 2010 at 12:08 AM, Jan Ingvoldstad wrote: > On Wed, Jun 23, 2010 at 20:21, Darren Duncan >wrote: > > > If all invocations of myop use a code literal for the $y argument, then > > this can be checked at compile time, but if the argument is a variable, > they > > have to look further

Re: very basic type checking

2010-06-24 Thread Darren Duncan
yary wrote: Yes but- the OP wasn't asking about my Str $s; my Int $i=$s; not failing at compile time, the question was about my Int $i='abc'; or how about sub square(Int $n='o hai'); Would it be wrong for the "cut-off point" be after an immediate assignment/ declaration of a built-in type to

A suggestion about parrot sugar

2010-06-24 Thread Xi Yang
For example: "use parrot Foo::Bar", which would load parrot library under Foo/Bar. However, this would be easy and useful for rakudo, but would not for other possible Perl6 implementations. _ Hot