[Haskell-cafe] Haskell.org GSoC
s.clover at gmail.com
Tue Feb 17 23:33:01 EST 2009
Something that hit me tonight: Last GSoC gave us GHC compiler
plugins. We have examples, but no documented significant uses,
suitable for production code. Plugins, in essence, as I understand
them, let us extend the type system in useful ways. Haskell has
libraries for units, but no lightweight (i.e. without simulated
dependent types or a dsl) way to embed units in Haskell calculations.
Units in a functional language are possible, and implemented in,
e.g., F# 
The punchline: With GHC plugins, it should be possible, and
reasonable, to add a proper unit system for Haskell.
Given a suitable SoC candidate, I'd love to see this, and if it
worked reasonably enough, I'm sure that I would use it.
More information about the Haskell-Cafe