Links

Interesting thoughts about units in PLs, dimensional analysis etc.

• Formalizing quantities that have units
• A mathematical formalisation of dimensional analysis
• Units of Measure in F#: Part One, Introducing Units
• Units of Measure in F#: Part Two, Unit Conversions
• Units of Measure in F#: Part Three, Generic Units
• Units of Measure in F#: Part Four, Parameterized Types
• Frink – Programming Language supporting units
• Units of measurement are a torsor over the positive/non-zero reals: torsor in nLab

Unit systems:

• WP: SI base unit
• WP: SI derived unit
• WP: Metric prefix

Libraries in other programming languages:

• Python: python-quantities
• Ruby: ruby-units, quantity
• JavaScript: js-quantities
• Haskell: units, dimensional, haskell-unittyped

Humor

• New Cuyama Road Sign
• Trial and error dimensional analysis