Something I briefly mention in the post is pint [0] for Python, but unfortunately, I don't think dimensions can be specified via type annotations.

At least you can check the input of functions at runtime [1].

[0]: https://github.com/hgrecco/pint

[1]: https://pint.readthedocs.io/en/stable/advanced/wrapping.html