[Types-sig] Static typing considered HARD

[Skip Montanaro]

    Paul> The more I thought about types the less I became convinced that a
    Paul> quick "low hanging fruit" approach would work. I no longer propose
    Paul> a quick RFC on static typing.

Static typing/type inference/do nothing trichotomy has been around for so
long that had any low hanging fruit been available to pluck, it would have
already been done.  If there is still some low hanging fruit that we'd have
missed it would be spoiling on the ground by now... Welcome to the type
zoo. ;-)

I noticed that nobody has yet complained about the continued presence of
meta-sig on the distribution list.  Perhaps it's time to remove it, since
the death of the types-sig seems to have been averted and we are now
actually discussing types (or are we just leaving it there to make sure it
gets enough traffic that it doesn't die?).

Skip Montanaro | http://www.mojam.com/
skip@mojam.com | http://www.musi-cal.com/
847-971-7098   | Python: Programming the way Guido indented...