F# - 在排序列表中插入元素（尾递归）

下面是一个在排序列表中插入元素的尾递归解决方法的示例代码：

type SortedList<'a>(list: 'a list) =
    member this.Insert(element: 'a) =
        let rec insertRec(acc: 'a list, remaining: 'a list) =
            match remaining with
            | [] -> List.rev (element::acc)
            | x::xs when x < element -> insertRec(x::acc, xs)
            | _ -> List.rev acc @ (element::remaining)
        
        insertRec([], list)

使用示例：

let sortedList = SortedList<int>([1; 3; 5; 7; 9])
let newList = sortedList.Insert(4)
printfn "%A" newList // 输出 [1; 3; 4; 5; 7; 9]

在上面的示例代码中，我们定义了一个名为 SortedList 的类型，它接受一个已排序的列表作为参数。我们在 SortedList 类型中定义一个名为 Insert 的成员方法，它接受一个要插入的元素，并返回一个新的已排序列表。

Insert 方法使用了一个名为 insertRec 的内部递归函数来执行插入操作。该函数接受两个参数：acc 和 remaining。acc 是一个累加器，用于存储已经比插入元素小的元素；remaining 是剩余的列表。

在 insertRec 函数的模式匹配中，如果 remaining 列表为空，则说明已经遍历完了整个列表，我们将累加器 acc 的逆序加上插入元素 element 并返回。

如果 remaining 列表不为空，并且列表的头元素 x 小于插入元素 element，则将 x 添加到累加器 acc 中，并对剩余的列表 xs 递归调用 insertRec。

如果 remaining 列表不为空，但是列表的头元素 x 大于等于插入元素 element，则说明找到了插入位置，我们将累加器 acc 的逆序加上剩余的列表 remaining，并将插入元素 element 添加到末尾。

最后，我们可以创建一个 SortedList 对象，并使用 Insert 方法插入元素。输出结果将会是一个新的已排序列表。