日本語 · English

last — 各窓の末尾を選ぶ

分類: 選択子(本体層 core) / シグネチャ: last : Stream(windowed) -> Stream / 名は確定(spec §5.4)

意味

各窓の中で最後の要素を選ぶ。窓相対(I4)。既定の対象は最内窓、入れ子で曖昧なときは of: w で 対象窓を明示する(§4.3・first の例)。「月末」「年度末」「週の最終日」の正体はすべてこれ。

生成子に見える monthEnd は、実は原始的定義の公開境界語 monthEnd = month |> last ——last の 再利用であって別機構ではない(spec §3.6)。

各月の最終日(暦日ベース。営業日調整は後段の roll が担う——I8 の分離):

# eval: 2026-01-01..2026-04-01
@JP
everyDay |> within(month) |> last
#=> 2026-01-31 2026-02-28 2026-03-31

週の最終日(wkst: Mon なら日曜):

# eval: 2026-01-05..2026-01-26
@JP
everyDay |> within(week) |> last
#=> 2026-01-11 2026-01-18 2026-01-25

落とし穴

関連

firstnthrollshift・公開境界語(spec §3.6)。