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

Greg Stein gstein@lyra.org
Sat, 18 Dec 1999 15:43:30 -0800 (PST)

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.


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