[Haskell-cafe] Semantics of temporal data
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