paul rubin <phr-pythonb...@nightsong.com> added the comment:

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.

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue38333>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to