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

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