日本語 · English

strideBy — 幅で刻む「w ごと」

分類: ストライド(本体層 core) / シグネチャ: strideBy(w, from:) : Stream -> Stream / 名は確定(spec §5.4)

意味

起点 from: からw の等差で点を刻む。stride が「入力の点を n 個ごと」 (点で数える)なのに対し、strideBy は「物理量 w ごと」(幅で刻む)——暦のリズムに 乗らない周期(火星の 1 sol・90 分ごと・36 時間ごと)のための演算子で、引数の種類の違いから二演算子に 割られている(spec §4.7・ADR-38)。

起点 from: は必須(ADR-31。stride と一族共通の規則)。

36 時間ごと(経過時間の複合幅):

# eval: 2026-01-01..2026-01-05
@JP
everyInstant |> strideBy(36h, from: 2026-01-01)
#=> 2026-01-01 2026-01-02T12:00 2026-01-04

火星の 1 sol ごとは everyInstant の例を参照 (strideBy(24h39m35.244s, from: …))。

落とし穴

関連

strideeveryInstant・幅リテラル(spec §5.5・ADR-11/12/28)。