[Haskell-cafe] GSoC proposal: Units for GHC
giorgidze at gmail.com
Wed Apr 4 14:16:41 CEST 2012
Implementing this proposal in GHC, as opposed to the library-only approach, would allow for generation of much more useful and user friendly error messages. I believe this aspect is important when it comes to type systems supporting physical units.
> This sounds pretty cool and useful. How much of this can be implemented in a library and how much of this would need to be supported on a compiler level? Ideally, most of this would be solved on the library level.
More information about the Haskell-Cafe