[Types-sig] STICK - static type and interface checking for python

scott scott@chronis.pobox.com
Tue, 1 Feb 2000 09:26:27 -0500

On Fri, Jan 28, 2000 at 07:06:45PM -0500, scott wrote:

> It is available at
> 	ftp://chronis.pobox.com/pub/python/stick-20000128.tgz

It has come to my attention (finally!) that my ftp server was rendered
useless to the outside world by my firewall.  I'd like to announce
that it's up and running correctly now, and that there's a newer
version available at


Below is the introduction at the head of the README file.


      Welcome to STICK, a Static Type and Interface Checker for python.

STICK is primarily a tool to help develop a proposal for a means to include
static type and interface checking in some future version of python.  Since
this is a pretty complex domain, it turns out that the only way to create a
convincingly viable means of doing this is to create a prototype
implementation of python with static type and interface checking built right
in, or atleast enough of a working working to show that a complete system
would work.  

Taking this approach has forced me to address many of the real issues of a
typing system for python in a concrete way, and will hopefully help us all
understand the constraints that we are working with more thoroughly as well as
demonstrate atleast one way to effectively deal with these constraints.