Adam Gundry

A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell

2015

Typed functional programming and units of measure are a natural combination, as F# ably demonstrates. However, encoding statically-checked units in Haskell’s type system leads to inevitable disappointment with the usability of the resulting system. Extending …