[Haskell-cafe] [Haskell] [ANN] quantities 0.3.0
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Tue Apr 15 22:38:07 UTC 2014
On Tue, Apr 15, 2014 at 03:25:19PM -0700, John David Reaver wrote:
> > Most libraries only support static checking of units (AFAIK).
> I found that to be the case. Indeed, if would be nice to integrate
> both approaches elegantly. I haven't figured out how yet.
This seems to be a specific instance of the general problem of type checking
code which is loaded at runtime.
More information about the Haskell-Cafe