Adding static typing to Python

[Laura Creighton]

> Alexander Jerusalem:
> But there's another feature of static typing that I find extremely useful 
> and that's type based dispatching, ideally multi methods. And that's not 
> covered by dynamic protocoll detections as suggested in the paper as far as 
> I understand it.

Yes.  I'd like to discuss this more with more interested parties.
I don't think that type-based dispatching has to rely on _static_
types, just strong types.  But then mayhap I am using 'type based
dispatching' more loosely than is normally the case.

Laura