Message330022
In mypy there would be no difference between a cached property and a normal one -- the type is the same either way. Caching is the quintessential runtime behavior -- it shouldn't matter for semantics, only for performance. (True, sometimes there are more subtle semantics that require caching past the first call, but this is beyond the realm of a type checker, which cannot typically tell whether a call is the first or not.) |
|
Date |
User |
Action |
Args |
2018-11-17 06:31:19 | gvanrossum | set | recipients:
+ gvanrossum, vstinner, carljm, methane, serhiy.storchaka, levkivskyi, sir-sigurd, mwilbz |
2018-11-17 06:31:19 | gvanrossum | set | messageid: <1542436279.06.0.788709270274.issue34995@psf.upfronthosting.co.za> |
2018-11-17 06:31:19 | gvanrossum | link | issue34995 messages |
2018-11-17 06:31:18 | gvanrossum | create | |
|