| http://www.w3.org/ns/prov#value | - Extra noise in exchange for safety.I was trying to say that for me, the trade-off is not particularly beneficial for the current types offered by languages such as Java, but I would reconsider the value of static typing if I could discover safety and null pointer bugs at compile time.
|