Typed Python: Choose Sequence over List (blog.meadsteve.dev)
from meadsteve@reddthat.com to python@programming.dev on 26 Sep 2023 13:07
https://reddthat.com/post/4588550

A blog post on choosing more specific types rather than general ones like list and dict.

#python

threaded - newest

qwertyasdef@programming.dev on 26 Sep 2023 14:22 next collapse

If you don’t need to reuse the collection or access its items out of order, you can also use Iterable which accepts even more inputs like generators.

o11c@programming.dev on 26 Sep 2023 15:32 next collapse

The problem is that there’s a severe hole in the ABCs: there is no distinction between “container whose elements are mutable” and “container whose elements and size are mutable”.

(related, there’s no distinction for supporting slice operations or not, e.g. deque)

meadsteve@reddthat.com on 26 Sep 2023 19:50 collapse

Yeah there’s definitely a lot of room for improvement here

coffeewithalex@lemmy.world on 26 Sep 2023 23:14 next collapse

The important difference is that you don’t need to import anything in order to quickly use list type. This wins in the majority of the cases, unless I’m building something that will be imported by multiple other modules and it really pays to be that explicit.

meadsteve@reddthat.com on 27 Sep 2023 05:16 collapse

That was definitely a nice feature (I forget exactly when list over List was added). That said I’ve never really been bothered about having imports. Especially when I know the import is side effect free like the typing module. But I definitely use import free list for script files without many lines of code.

chemacortes@programming.dev on 27 Sep 2023 11:31 next collapse

Sequence now lives at collections.abc. BTW, float is not a supertype of int (issubclass(int, float) == False). Normaly, It is acceptable to use int instead of float, but speaking of variance, it is more precise to use numbers.Real:

issubclass(Integral, Real) == True
issubclass(int, Real) == True
issubclass(float, Real) == True
issubclass(complex, Real) == False
meadsteve@reddthat.com on 27 Sep 2023 13:41 collapse

yeah it’s an interesting case that an int can be treated as a float. I should probably update my post to mention that it’s not strictly a supertype but a special exception mentioned in python’s typehinting pep: peps.python.org/pep-0484/#the-numeric-tower

jadelord@discuss.tchncs.de on 29 Sep 2023 21:25 collapse

Good point, and Łukasz Langa mentioned this in his talk (check it out). He names it the robustness principle, in his words (around 22:20 mark:

“Vague in what you accept, concrete in what you return”

But he also mentions some gotchas like how Iterable[str] can backfire, because str is also an Iterable[str] and it might be better to use list[str].