[Haskell-cafe] Semantics of temporal data

[martin]

Am 03/31/2015 um 02:41 AM schrieb M Farkas-Dyck:
> On 30/03/2015 at 22:23:17 +0200, martin wrote:

> 
>> It appears to me that the defaults of the inner Temporal lose most of their meaning. The effective default is the change
>> value of the last accepted change from the previous (t0) iteration.
> 
>> Does this make some sense? Please feel free to comment.
> 
> Yes, as the default value is essentially a change at the lower bound of time, 0 or -∞ or whenever it is, so if we join
> 
> Temporal x [Change t1 (Temporal y _)]
> 
> the change to y in the inner Temporal would happen at earliest possible time, so assuming t1 is later than this y ought to be ignored, I think.

That neatly sums it up (and will make my code more concise). Thanks.