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
• WP: Imperial units
• WP: Non-SI units mentioned in the SI
• SI brochure

Libraries in other programming languages:

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

Software errors caused by units mismatches:

• WP: Mars Climate Orbiter

Humor

• New Cuyama Road Sign
• Trial and error dimensional analysis
• WP: List of humorous units of measurement