Optional Static Typing
Luis M. Gonzalez
luismgz at gmail.com
Sun Dec 26 23:14:06 CET 2004
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
For example, this is what happens in Boo, which is the only language I
know (a little bit) that uses type inference.
More information about the Python-list