This is rather high-level, so I do not wish to even consider the logistics of it just yet.
However, typing as e.g. foo: Measure is, IMO, a little less useful than it needs to be. It would be rather lovely if instead a dimension could be directly used, with some typing hooks so linters are aware of what's going on.
This is rather high-level, so I do not wish to even consider the logistics of it just yet.
However, typing as e.g.
foo: Measureis, IMO, a little less useful than it needs to be. It would be rather lovely if instead a dimension could be directly used, with sometypinghooks so linters are aware of what's going on.