Re: static type checking / interface definitions for Python?

George Reynolds (george@vicorp.com)
Fri, 23 Sep 94 09:04:54 EDT

>> I'm wondering if anyone has done a design for optional static typing in Python?
>>
>> I'm thinking of this in several levels. (I'm not wedded to or even very
>> enthusiastic about the syntax I suggest in this note.)
>>

We have actually just started thinking about this. The issue for us is
generating C++ from python. The context would be a prototyping
environment where at the end of prototyping exercise, one could
generate C++ automatically, bind the resulting functions to python
and gain the perfrmance advantage. To do this we need static typing.

We are planning to do an internal (to VI) extension to the language
which would be used in a prtotyping environment we would deliver
with a product.

However it would obviously be better if this were part of standard
python.

+ George Reynolds
+ VI Corporation
+ 47 Pleasant St
+ Northampton MA 01060
+
+ george@vicorp.com
+ 413-586-4144