Author phr
Recipients docs@python, gvanrossum, phr, rhettinger, veky
Date 2019-10-03.06:58:07
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1570085887.1.0.54412728298.issue38333@roundup.psfhosted.org>
In-reply-to
Content
I don't think we're going to accomplish anything continuing the eternal static-vs-dynamic debate, which in Python's case has already been resolved by adding optional static typing.  It's a done deal, and the issue here is just how to document it.  Erlang (via the Erlang Dialyzer), Clojure, and Racket have all been down a similar road and gained some value from it.

Haskell's Maybe type (its version of Option) works fine.  In Python the convention of returning None for a missing value is not great, but we are stuck with it and Option[whatever] is helpful.
History
Date User Action Args
2019-10-03 06:58:07phrsetrecipients: + phr, gvanrossum, rhettinger, docs@python, veky
2019-10-03 06:58:07phrsetmessageid: <1570085887.1.0.54412728298.issue38333@roundup.psfhosted.org>
2019-10-03 06:58:07phrlinkissue38333 messages
2019-10-03 06:58:07phrcreate