15 Apr
2014
15 Apr
'14
10:38 p.m.
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