Re: static type checking / interface definitions for Python?

Bill Janssen (janssen@parc.xerox.com)
Fri, 23 Sep 1994 17:39:10 PDT

I was being a bit sneakier, in that I suggested an approach that could
be initiated without modification to the Python system itself -- start
out with a documentation system kept in auxiliary files. As people see
more of that, they become accustomed to the type declaration syntax.
*Then* move that into the syntax of Python itself.

Excerpts from ext.python: 23-Sep-94 Re: static type checking / ..
"Steven D. Majewski"@vir (2870*)

> depending on whether you are considering
> declarations as a type-checking safety feature ( with or without
> type inference ) or as a Common-Lisp like feature to produce
> optimized, but specialized code.

Both, but leaning on the side of safety.

Bill