[Types-sig] what tools? (was: Type Inference I)

[Greg Stein]

On Sun, 19 Dec 1999, skaller wrote:
>...
> Greg wants to write one kind of tool, I'm building a different one.
> The point is to try to help both these tools, and any others,
> do a better job for the programmer, by changing the python
> language.

Agreed. So far, I do not believe that adding type annotations
(declarations) will hinder your tool. And it certainly will help the
standard tools (i.e. those incorporated into the standard distro).

> I.e. the goal of the SIG is to recommend language
> changes NOT to produce any kind of tool (although that 
> is useful to help decide what needs changing, and it may
> also be useful to end users as well: these are secondary
> goals) At least, that's my understanding.

I don't believe we are limited to language changes. That is a bit too
narrow to solving the problems at hand. I figure that we'll implement an
external tool, leaving the integration decision for another day.

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/