| http://www.w3.org/ns/prov#value | - The analyses would not be possible without it.Yes, this does require human input, and it does require dynamic testing in addition to static analysis, but to claim that type safety has no relevance or that one should cut back on tools is just rubbish.Go off in your 'Blue direction' if you want to - perhaps because it is fun or productive for certain kinds of uses, but to try and justify doing that
|
