For sure. It’d be nice to have the units in a separate namespace but at least Numbat won’t let you override identifiers already defined in the system of measure. I use Pint on Python - I usually keep the units in an identifier named u
so they can’t get accidentally overridden. That means either using u.km
for single units or u('g/cm^3')
for composite units. It’d be great if the language could separate units e.g. as [
or `` but getting a compact syntax to distinguish the units namespace without colliding with other language features would be tricky. I remember F# having a good syntax but didn’t dive that deep since it’s not used widely in my field. ]
Ah, you’re travelling in to London’); DROP TABLE Airports;-- today? And how is the weather in North Korea?
No, that’s crows. Your thinking of school.