mk <mrkafk at gmail.com> writes: > I was flabbergasted to read that optional static typing was dropped by > Guido due to "lack of interest in community" IIRC. I don't remember that happening. PEP 3107 still lists type checking as a use case for Python 3.0 function annotations.