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
all.
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 mailing list