On 2008-Apr-13, at 4:07 am, John M. Dlugosz wrote:
I'm thinking that 'constant' is more special than other variables, and that the formal description of strong typing and static types should say that the compiler =will= implicitly get the type for $pi rather than making it Any.
Except if constants infer their type and other variables don't, that's one more special case to remember. What if there were a quick and unobtrusive way to get the type of the value instead of "Any"? Can we use a "whatever" type?
my * $x = 12.34; # my Num $x my * $y = "abc"; # my Str $y const * $z = $foobar; # const Foo::Bar $z -David