I would like to have very explicit typing. I'm not sure, that any language has this, but i would also like to add (optional) units to a language... The python

I would like to have very explicit typing. I'm not sure, that any language has this, but i would also like to add (optional) units to a language... The python package "pint" is an example of a pretty nice implementation: https://pint.readthedocs.io/en/0.9/ https://pint.readthedocs.io/en/0.9/ Like pseudo code: int i=1; i.unit = Unit.KG;