[Types-sig] Re: Types-SIG digest, Vol 1 #13 - 2 msgs

[Scott]

On Mon, Nov 30, 1998 at 11:30:09PM -0500, Tim Peters wrote:
| But while that's of great interest to a type inferencing system, it's of no
| particular interest to those seeking static declarations:  if you want to
| use declarations, you'll have to write 100% type-consistent code whenever
| declared entities are involved -- and known to be type-consistent at
| compile-time.  I.e., it's a tradeoff (as if that weren't apparent from the
| first instant <wink>).


Do you think that "whenever declared entities are involved" means that
typed python will not be able to exist with untyped python in any app? 

I would hope that we could limit the type declarations to a single
module, and let untyped python use that module.  Otherwise, it seems
like the entire standard lib will have to exist in 2 forms, typed and
not. 

scott