F# 递归函数：使列表项唯一

Question

let rec isolate (l:'a list) = 
    match l with
    | [] -> []
    | x::xs ->
        if memberof(x,xs)
        then remove (x,l)
        else isolate xs

我已经创建了 memberof 和 remove 函数，唯一的问题是当第 6 行 remove(x,l) 执行时，它不会继续使用 isolate(xs) 继续搜索列表。

有没有办法说，

if x then f(x) and f(y)

?

Answer 1

由于您使用的是 F# 不可变列表，remove 的结果需要存储在某处：

let rec isolate (l:'a list) = 
    match l with
    | [] -> []
    | x::xs ->
        if memberof(x,xs)
        then
            let xs = remove (x,l)
            isolate xs
        else isolate xs

回答您更笼统的问题：

let f _ = ()
let f' z = z

let x = true
let y = 42
let z = 3.141

if x then
    f y
    f' z |> ignore

这里需要ignore因为在F#中没有语句，只有表达式，所以你可以把if x then f' z想成

if x then
    f' z
else
    ()

因此第一个分支也需要 return ()。

Answer 2

除了CaringDev的回答。
你可以看看这个简单的解决方案。
值得注意的是，这不是最快的方法。

let rec isolate (acc : 'a list) (l : 'a list) = 
  match l with
  | [] -> acc
  | head :: tail -> 
    if memberof (head, tail)
    then remove (head, tail) |> isolate (acc @ [head])
    else isolate (acc @ [head]) tail

let recursiveDistinct = isolate []
let uniqValues = recursiveDistinct [ 1; 1; 2; 3] //returns [1;2;3]

Answer 3

let isolate list =
    let rec isolateInner searchList commonlist =
        match searchList with
        | x::xs ->
            if (memberof commonlist x) then
                isolateInner xs commonlist
            else
                let commonlist = (x :: commonlist)
                isolateInner xs commonlist
        | [] -> reverse commonlist
    isolateInner list []

这是对您较大的回答的一部分。

请注意，这不使用 remove。由于您必须传递原始列表中的每个项目并且列表是不可变的，因此最好创建一个新列表并且只将唯一项目添加到新列表，然后 return 新列表。

F# 递归函数：使列表项唯一

F# Recursive Functions: make list items unique

list

recursion

f#

tail-recursion