[Types-sig] Issue: binding assertions

Tim Peters tim_one@email.msn.com
Mon, 20 Dec 1999 01:50:26 -0500


[Paul Prescod]
> ...
>  I *do* understand that the vast majority of local variables
> (not parameters) should have their types inferred (perhaps just as
> "Any") rather than declared.

Just a reminder that if type decorations do someone actual good, to get that
they'll put up with declaring everything at first.  Inference is frosting.

in-a-land-without-cake-ly y'rs  - tim