| http://www.w3.org/ns/prov#value | - There would be a hole in this system with regard to creating type on the fly, etc., but I think you can take most programs that do not use those features and make them statically typed if you, for instance, could introduce an interface for each method and then glom them together to make union types for whatever methods a particular calling context needs.
|
