[Haskell-cafe] [Haskell] [ANN] quantities 0.3.0

[Tom Ellis]

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.

Tom