OCaml-撤消列表

Question

我正在嘗試實現自己的列表模塊，如下所示：

type 'a my_list =
    | Item of ('a * 'a my_list)
    | Empty

我已經實現了幾個功能，現在正嘗試為我的模塊創建一個列表反轉功能，如下所示：

let rec rev = function
    | Empty             -> (*return reversed list*)
    | Item(i, remnant)  -> (*recursive call to rev*)

此外，我不應該使用列表運算符，例如'::'，'[]'和'@'。

編輯，我嘗試了什么：

let rec rev_append l1 l2 = match l1 with
    | Empty             -> l2
    | Item(i, remnant)  -> rev_append remnant Item(i, l2)

let rev l = rev_append l Empty;;

但這是行不通的，傳遞給遞歸調用的第二個參數有一個錯誤：“ Item（i，l2）”。錯誤是“構造函數Item需要1個參數，但此處將其應用於0個參數”。

Answer 1

括號人！

let rec rev_append l1 l2 = match l1 with
    | Empty             -> l2
    | Item(i, remnant)  -> rev_append remnant (Item (i, l2))

編譯器了解到rev_append被傳遞了三個參數，即remnant Item和(i, l2) 。