保存OCaml中的附加列表

Question

上下文：

我试图在ocaml该insert S上的元件x在列表中，在定义一个函数要么head或列表的tail，基于断是否新元素小于当前列表中的head。

问题：

的问题是，当我运行一些代码，我创建了（在底部显示），我的表是回到原来的状态，而不是保存以前是追加完成。我意识到，我可以用一个简单的let声明一个新的变量或相同的，但我想保存新的列表作为其当前的形式。如果没有创建新列表，这甚至可以在ocaml中完成吗？

我的问题是：我如何可以追加到列表，并将其保存在其新的形式，没有一个新的列表或变量的创建。

研究：

我看着this answer on SO，并在我的代码已经把它已经。然而，当我运行此代码：

let rec insertion x y = 
    match y with 
    | [] -> x::y 
    | h::tl -> if h >= x then x::y 
       else   y@[x] 
;; 

，伴随着：

let y = [1;2;3];; 
insertion 0 y ;; 
y    ;; 

我回：

val y : int list = [1; 2; 3] 
- : int list = [0; 1; 2; 3] 
- : int list = [1; 2; 3] 

Answer 1

这是不可能的。 OCaml的列表是不可改变的，你不能改变它。你不能改变它的值，你不能改变它的长度。