在fp-ts中，如何组合2个(或更多) Ord实例

在fp-ts中，可以使用getMonoid和getSemigroup函数来组合两个或更多Ord实例。

首先，Ord是一种表示可比较值的类型类。它定义了一个compare函数，用于比较两个值的大小关系。在fp-ts中，Ord的实例可以通过ord函数来创建。

要组合两个Ord实例，可以使用getMonoid函数。getMonoid函数接受一个Ord实例作为参数，并返回一个新的Ord实例，该实例可以比较原始的Ord实例以及使用Ord实例的concat方法组合的值。例如，以下是如何使用getMonoid函数组合两个Ord实例：

import { ord, getMonoid } from 'fp-ts/lib/Ord'

// 创建两个 Ord 实例
const ord1 = ord.contramap((n: number) => n.toString())(ord.ordNumber)
const ord2 = ord.contramap((s: string) => s.length)(ord.ordNumber)

// 使用 getMonoid 组合两个 Ord 实例
const ordMonoid = getMonoid<number>()
const combinedOrd = ordMonoid.concat(ord1, ord2)

// 使用组合后的 Ord 实例进行比较
console.log(combinedOrd.compare('123', 456)) // 输出 -1，因为 '123' 的长度比 456 的值小

另外，如果要组合多个Ord实例，可以使用getSemigroup函数。getSemigroup函数接受一个Ord实例作为参数，并返回一个新的Ord实例，该实例可以比较原始的Ord实例以及使用Ord实例的concat方法组合的多个值。以下是如何使用getSemigroup函数组合多个Ord实例的示例：

import { ord, getSemigroup } from 'fp-ts/lib/Ord'

// 创建多个 Ord 实例
const ord1 = ord.contramap((n: number) => n.toString())(ord.ordNumber)
const ord2 = ord.contramap((s: string) => s.length)(ord.ordNumber)
const ord3 = ord.contramap((b: boolean) => Number(b))(ord.ordNumber)

// 使用 getSemigroup 组合多个 Ord 实例
const ordSemigroup = getSemigroup<number>()
const combinedOrd = ordSemigroup.concatAll([ord1, ord2, ord3])

// 使用组合后的 Ord 实例进行比较
console.log(combinedOrd.compare('123', 456)) // 输出 -1，因为 '123' 的长度比 456 的值小

以上示例中，combinedOrd变量是通过组合ord1、ord2和ord3实例创建的新的Ord实例。您可以使用combinedOrd实例的compare方法来比较值的大小。

总结起来，在fp-ts中组合两个或更多Ord实例的步骤如下：