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


Reply via email to