Optional Static Typing

[Luis M. Gonzalez]

Robert Kern wrote:
> Automatic type inferencing is great, but sometimes the inference is
> "object". Being able to supply more information about types helps
> Starkiller keep the inferences tight and specific.

Hmm... I'm not an expert in this subject at all, but I think that when
the  inference is "object", as you said, is because the type couldn't
be inferred so it defaults to object, which is the more general type of
all.
For example, this is what happens in Boo, which is the only language I
know (a little bit) that uses type inference.