| http://www.w3.org/ns/prov#value | - But you are obviously correct to point out that delaying evaluation with lambda is a direct analogue to the difference between compile-time and runtime, and in fact in the presence of, e.g. serializable closures, this notion could be made to map onto user-time in exactly the same fashion that a compiler does.
|
