Dimensional Analysis in Programming Languages (2018)

Thought this post from the Ada vs. Rust thread was worthy of its own submission.