Question

我在F＃中有一个自定义列表，例如：

type 'element mylist = NIL | CONS of 'element * 'element mylist

我想使用与

类似的东西来反转此类型的列表

let rec helperOld a b =
    match a with
    | [] -> b
    | h::t -> helperOld t (h::b)

let revOld L = helperOld L []

到目前为止，我所想做的就是做一些像

这样的事情

let rec helper a b = 
    match a with
    | NIL -> b
    | CONS(a, b) -> helper //tail of a, head of a cons b

然而，我无法弄清楚如何获得尾部和头部。标准a.Head和a.Tail不起作用。如何在此自定义列表中访问这些元素？

Answer 1

你的帮助函数不需要使用Head或Tail函数，因为它可以通过模式匹配将这些值拉出来：

let rec helper a b = 
    match a with
    | NIL -> b
    | CONS(x, xs) -> helper xs (CONS(x, b))

标准的Head和Tail功能不起作用，因为您有自定义列表定义。您可以使用模式匹配创建自己的函数，这与您要删除的路径类似：

let myHead xs =
    match xs with
    | NIL -> None
    | CONS(h, _) -> Some(h)

let myTail xs =
    match xs with
    | NIL -> None
    | CONS(_, t) -> Some(t)

如果我在F＃中有自定义列表类型，我如何得到该类型列表的头部和尾部

1 个答案: