如何用Monoid或Semigroup在fp-ts中找出日期列表的最小日期？

你需要的是不依赖Bounded实例、无需手动指定初始值的函数式方案，核心是利用fp-ts/Array的reduceOption结合Date.Ord的min函数，它会自动以数组第一个元素为初始值，逐个比较后续元素，同时处理空数组的边界情况返回Option<Date>。

实现代码 #

import { pipe } from 'fp-ts/function';
import * as Array from 'fp-ts/Array';
import * as date from 'fp-ts/Date';

const dates = [
  new Date(2020, 1, 1, 1, 1, 1, 1),
  new Date(2021, 1, 1, 1, 1, 1, 1),
  new Date()
];

// 查找数组最小日期，空数组返回 None，非空返回 Some(最小日期)
const smallestDate = pipe(
  dates,
  Array.reduceOption((prev, current) => date.Ord.min(prev, current))
);

为什么这能解决你的问题 #

1. 无需手动指定初始值：reduceOption会自动将数组第一个元素作为比较的起始值，逐个与后续元素比较，完全避免了手动选初始值的错误风险（比如用当前日期漏掉未来的最小日期）。
2. 不依赖Bounded实例：不需要定义Date的top/bottom值，彻底规避了Bounded在日期场景的局限性。
3. 安全处理空数组：返回Option<Date>类型，强制你处理空数组的边界情况，符合函数式编程的安全性原则。

对比你之前的方案 #

• Semigroup.concatAll：必须手动传入初始值，若初始值选得不当（比如当前日期），会错误排除比初始值大的最小日期（如明天的日期）。
• Monoid.min：依赖Bounded实例的top值，但Date的top值无法提前确定（未来日期是无限的），导致逻辑存在漏洞。

非空数组的简化版 #

如果你能确保数组一定非空，可以直接用Array.reduce，省去Option的包裹：

// 仅适用于非空数组
const smallestDateNonEmpty = pipe(
  dates,
  Array.reduce(dates[0], (prev, current) => date.Ord.min(prev, current))
);

内容的提问来源于stack exchange，提问作者Danielo515