| http://www.w3.org/ns/prov#value | - way to deal with programs that take more than one argument.??? I???d say you probably need to go deeper and say that product types make it easier for ???functions??? to output intermediate data structures so you can write programs piece by piece (as there???s no obvious ???lack of ease??? in having more than one argument in the curried style in the examples you???ve presented in the paper).
|
