Re: static type checking / interface definitions for Python?
Ken Manheimer (ken.manheimer@nist.gov)
Fri, 23 Sep 94 11:42:10 EDT
Guido van Rossum writes:
> [...]
> In reply to Bill: ABC (Python's most direct predecessor and influence)
> has quite a nifty global static typechecking algorithm, deriving the
> types of variables (and arguments, etc.) from the use that is made of
> them. [...]
I have the impression that this is the kind of thing that is meant by
"manifest types". If i'm right (and maybe even if i'm not), there is
a substantial lore of techniques and approaches for optimizing on the
basis of manifest and implicit types, together with compiler
directives, in the lisp compiler literature. ?
Ken
ken.manheimer@nist.gov, 301 975-3539