![](https://reddthat.com/pictrs/image/aa00719c-0989-4643-a503-6c684a7dca63.png)
![](https://programming.dev/pictrs/image/1d99f7cb-50e7-4994-94c4-fd23f30209b7.png)
2·
11 months agoThat 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.
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: https://peps.python.org/pep-0484/#the-numeric-tower