F# 参数化类型 - 笛卡尔积

下面是一个使用F#实现参数化类型（parametric types）和计算笛卡尔积（Cartesian product）的代码示例：

type CartesianProduct<'a, 'b> =
    | CartesianPair of 'a * 'b

let cartesianProduct (list1: 'a list) (list2: 'b list) : CartesianProduct<'a, 'b> list =
    List.collect (fun a -> List.map (fun b -> CartesianPair(a, b)) list2) list1

// 使用示例
let numbers = [1; 2; 3]
let letters = ['a'; 'b'; 'c']

let result = cartesianProduct numbers letters

printfn "Cartesian Product:"
result |> List.iter (fun (CartesianPair(a, b)) -> printfn "(%d, %c)" a b)

在这个示例中，我们定义了一个参数化类型CartesianProduct<'a, 'b>，表示笛卡尔积中的一对元素。然后，我们实现了一个函数cartesianProduct，它接受两个列表作为输入，并返回一个包含所有可能的笛卡尔积对的列表。

在使用示例中，我们定义了两个输入列表numbers和letters，然后调用cartesianProduct函数来计算它们的笛卡尔积。最后，我们使用List.iter函数来遍历并输出结果。

输出结果为：

Cartesian Product:
(1, a)
(1, b)
(1, c)
(2, a)
(2, b)
(2, c)
(3, a)
(3, b)
(3, c)

这个示例展示了使用F#实现参数化类型和计算笛卡尔积的方法。您可以根据自己的需求来调整输入列表和输出的方式。