| http://www.w3.org/ns/prov#value | - I would not disallow a useful typing property X simply because typing properties Y and Z were violated elsewhere in the language.Finally, I do not think there is an expectation that typed code generates no runtime errors on the CLR, merely certain types of errors are ruled out.
|
