On Thu, Jun 24, 2010 at 12:08 AM, Jan Ingvoldstad <frett...@gmail.com>wrote:
> On Wed, Jun 23, 2010 at 20:21, Darren Duncan <dar...@darrenduncan.net > >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, consider the Halting > Problem for why this looking around, out, in, between, sideways, back, and > forward must have cut-off points. > 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 literal constant? Or does even checking that at compile time lead to headache?