Author veky
Recipients docs@python, gvanrossum, phr, rhettinger, veky
Date 2019-10-03.06:20:42
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1570083642.45.0.770722397423.issue38333@roundup.psfhosted.org>
In-reply-to
Content
Well, yes, if you're going to invent a special typeclass for every protocol, then you can document any signature. But what purpose does it serve? Abs to me seems like a hack, not something we really wanted to capture with the type system.

Do you find (x : Abs[T]) -> T in any way clearer than what's currently written in the docs? Do we really want to move in that direction? And not to mention that "... returns something of the same type" is _still_ incorrect -- for example, for complex it returns float.
History
Date User Action Args
2019-10-03 06:20:42vekysetrecipients: + veky, gvanrossum, rhettinger, phr, docs@python
2019-10-03 06:20:42vekysetmessageid: <1570083642.45.0.770722397423.issue38333@roundup.psfhosted.org>
2019-10-03 06:20:42vekylinkissue38333 messages
2019-10-03 06:20:42vekycreate