Can I read A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell on EtoBox?

A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell by Adam Gundry is a scholarly article available to read on EtoBox.

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

Typed functional programming and units of measure are a natural combination, as F# ably demonstrates. However, encoding staticallychecked units in Haskell's type system leads to inevitable disappointment with the usability of the resulting system. Extending the language itself would produce a much better result, but it would be a lot of work! In this paper, I demonstrate how typechecker plugins in the Glasgow Haskell Compiler allow users to define domain-specific constraint solving behaviour, making it possible to implement units of measure as a type system extension without rebuilding the compiler. This paves the way for a more modular treatment of constraint solving in GHC.

Author

Adam Gundry

Publisher

ACM

Published

2015

Language

EN