{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreighz7cmj4zrk4g2wau2pu5tnclwnco6uwohjnrmeg6yfsnjlfqglu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhq7bbwhuqq2"
  },
  "path": "/t/rfc-sibyl-time-series-analysis-in-haskell/13823#post_19",
  "publishedAt": "2026-03-22T22:31:46.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "When looking at `Sibyl.TimeSeries` it seems that the concept of time is just any type `t` that has `Unbox` and `Ord` instances. Does that mean a time series is a collection of singular events along some totally ordered domain?\n\nI work with time series a lot, and the two problems that arise most frequently are\n\n  1. Values associated with time intervals rather than singular time points, and finding intersections between those intervals. Hours, days, weeks, months…\n  2. Converting between time representations, when matching time series from different sources.\n\n\n\nOnly in the most regular scenarios can a time interval be represented by a single `LocalTime`, e.g. when the sampling is equi-distant and the time zone never changes. The implementation of `Sibyl.Safe.TimeSeries.diff` indicates that you are thinking exclusively about this scenario.",
  "title": "[RFC] Sibyl: Time Series Analysis in Haskell"
}