John Roth wrote:
> http://www.artima.com/weblogs/viewpost.jsp?thread=86641
Nitpicking: I don't think he's necessarily in good company w.r.t. types
vs classes. Take Ada, for example. In Ada, a class is a set of types
(in particular, the type and all its subtypes), which is kind of the
opposite w
John Roth <[EMAIL PROTECTED]> wrote:
> Now, the base objective seems to be to incorporate PyChecker
> functionality into the root. This in turn requires type inference,
> which in turn strongly suggests type annotations to help the
> inferencer out over rough spots.
>
> I like this approach a lot.
On Tue, 4 Jan 2005, John Roth wrote:
>Guido has posted a second blog entry on the optional static typing
>initiative.
>I like this a lot better than the first.
Declarative approach is even more human-oriented than algorithmic one.
If Python is to support declarations, let it support declarative p
Guido has posted a second blog entry on the optional static typing
initiative.
I like this a lot better than the first.
http://www.artima.com/weblogs/viewpost.jsp?thread=86641
Now, the base objective seems to be to incorporate PyChecker
functionality into the root. This in turn requires type infe
