[Bug] ImportError: no module named 'typing'

[abliss]

Describe the bug
I want to write typed programs and run them on the Spike Prime hub, but I always get ImportError: no module named 'typing'.

To reproduce

1. Write a test.py with from typing import Dict
2. pybricksdev run ble test.py
3. get error: ImportError: no module named 'typing'

Expected behavior
I don't fully understand the python typing system but I roughly thought it would be "compiled out" and have no runtime overhead. I found https://micropython-stubs.readthedocs.io/en/main/typing_mpy.html which describes typing stubs for micropython, but it wasn't clear whether or how I could use this with pybricks.

[dlech]

Only annotations are compiled out (that is : SomeType and -> SomeType). And we don't include a typing module in Pybricks because of the limited space on hubs.

For dicts, you can just use : dict[KeyType, ValueType] rather than typing.Dict.

If you really want the full typing module that can be imported at runtime, you can download the one from micropython-stubs and use that: https://github.com/Josverl/micropython-stubs/blob/main/mip/typing.py

[abliss]

Thanks! What about tuple? It seems to work by itself but if I try tuple[int, int] I get 'type' object isn't subscriptable.

[dlech]

I would expect that error if you wrote my_tuple = tuple[int, int](1, 2), but if it was just an annotation, I would expect it to be ok, like my_tuple: tuple[int, int] = (1, 2).