haskell - F# 中的 Haskell 列表差分运算符

Question

\\F# 中是否有与 Haskell 的列表差分运算符等效的运算符？

Answer 1

不...只需编写它并使其成为中缀运算符-使用一组特殊字符。反斜杠 ( \) 不在下面的列表中，因此它不能用作中缀运算符。请参阅手册：

中缀操作：=

or || & && <OP >OP $OP = |OP &OP ^OP :: -OP +OP *OP /OP %OP

**OP

前缀操作：=

!OP ?OP ~OP -OP +OP % %% & &&

Answer 2

被退回，但我相信值得在这里写下( /-/ )（Haskell 的 F# 版本\\）的实现：

let flip f x y = f y x

let rec delete x = function
  | [] -> []
  | h :: t when x = h -> t
  | h :: t -> h :: delete x t

let inline ( /-/ ) xs ys = List.fold (flip delete) xs ys

这将像 Haskell 一样运行\\，因此(xs @ ys) /-/ xs = ys. 例如：(7 :: [1 .. 5] @ [5 .. 11]) /-/ [4 .. 7]计算为[1; 2; 3; 5; 7; 8; 9; 10; 11].

Answer 3

从减数集中过滤项目：

let ( /-/ ) xs ys =
    let ySet = set ys
    let notInYSet x = not <| Set.contains x ySet
    List.filter notInYSet xs

Answer 4

我正在使用这个：

let (/-/) l1 l2 = List.filter (fun i -> not <| List.exists ((=) i) l2) l1

如果有人看到问题，请告诉我。

用于列表，因此结果中可能存在重复。例如：

[1;1;2] /-/ [2;3] would be eq to [1;1]

Answer 5

假设您真的想要传统的集合差异而不是 Haskell 显然提供的奇怪的有序但未排序的多重减法，只需使用内置set函数将列表转换为集合，然后使用内置-运算符来计算集合差异：

set xs - set ys

例如：

> set [1..5] - set [2..4];;
val it : Set<int> = seq [1; 5]