保存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的列表是不可改變的，你不能改變它。你不能改變它的值，你不能改變它的長度。