[Haskell-cafe] Semantics of temporal data

martin martin.drautzburg at web.de
Tue Mar 31 05:14:12 UTC 2015

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.

More information about the Haskell-Cafe mailing list