[Haskell-cafe] GSoC proposal: Units for GHC

George Giorgidze 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.

Cheers, George

> 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 mailing list