这个Haskell如何使用列表理解工作来计算排列？

Question

我正在阅读Simon Thompson的Haskell：函数式编程工艺，我想知道它是如何工作的：

perms [] = [[]]
perms xs = [ x:ps | x <- xs , ps <- perms ( xs\\[x] ) ]

我似乎无法掌握perms( xs\\\\[x] )应该如何运作。 两个元素列表的跟踪显示：

perms [2,3]
  [ x:ps | x <- [2,3] , ps <- perms ( [2,3] \\ [x] ) ]       exe.1
  [ 2:ps | ps <- perms [3] ] ++ [ 3:ps | ps <- perms [2] ]   exe.2
  ...

你怎么从exe.1到exe.2 ？

Answer 1

好吧，它只是分别在[2,3] \\\\ [x]插入2和3 。 所以你有了

[ 2:ps | ps <- perms ([2,3] \\ [2]) ] ++ [ 3:ps | ps <- perms ([2,3] \\ [3]) ]

并且由于\\\\是差值运算符，即它返回第一个列表中不在第二个列表中的元素，结果分别为[3]和[2] 。

Answer 2

它基本上说：

1. 从列表xs取任何x （ x <- xs ）
2. 取ps是列表xs\\\\[x]排列（即xs与删除的x ） - perms ( xs\\\\[x] )
3. 返回结果。

perms(xs\\\\[x])是从xs删除x递归调用。