我想要做的是创建一个给定长度的函数，创建所有可能的真/假组合/排列
例如。 getPerm 2 应返回[True,True,True,False,False,True,False,False]
getTrue 0 = []
getTrue size = (True:(getTrue (size-1)))++(True:(getFalse (size-1)))
getFalse 0 = []
getFalse size =(False:(getTrue (size-1)))++(False:(getFalse (size-1)))
getPerm 0 = []
getPerm size= (getTrue size)++(getFalse size)
我做错了..我是函数式编程的新手，所以请只使用基本的东西而不是奇怪的东西..尽量使代码尽可能简单因为我对 Haskell 还不太了解
p>【问题讨论】：
标签： function haskell boolean permutation
getPerm n = concat $ replicateM n [True, False]
虽然它可能被称为“奇怪的东西”，但它并不太难。 [True, False] 表示列表 monad 中的非确定性选择。 replicateM 列出了这些选择的 n 重复的不确定列表。由于您希望它们都在一个列表中，因此我们将它们连接起来以获得最终结果。
【讨论】：
replicateM 制作n 计算副本并将结果收集到一个列表中。因此，例如replicateM 10 getLine 将读取 10 行并将它们收集到一个列表中。在这里，我在列表 monad 中使用它，因此它会在 True 和 False 之间重复选择 n 次，并为您提供所有可能的结果列表。
replicateM = sequence . replicate。
Control.Monad。
您可以使用sequence 获得结果：
getPerm = concat . sequence . flip replicate [True,False]
如果您想为所有排列创建不同的列表，只需删除 concat。
我只是想到了一个更基本的定义。 iterate :: (a -> a) -> a -> [a] 反复应用一个函数并返回中间值：
getPerm = concat . (iterate permute [[]] !!)
permute xs = map (True:) xs ++ map (False:) xs
所以基本上，permute 生成下一个排列，而 getPerm 只是选择所需的排列。
【讨论】：
. 是函数组合。即f . g = \x -> f (g x)
这是另一个视角。
getPerm n 将创建 2^n 个排列。生成这些值的另一种方法是简单地从 0 计数到 2^n-1 并将位模式编码为 True 和 False。
我已更改您的 getPerms 函数的类型以返回列表列表，以便更容易将其分开。
import Data.Bits
getPerms :: Int -> [[Bool]]
getPerms n = map (encode n) [0..2^n-1]
encode :: Int -> Int -> [Bool]
encode bitSize value = map (testBit value) [0..bitSize-1]
*Main> getPerms 2
[[False,False],[True,False],[False,True],[True,True]]
【讨论】：
import Data.Bits 为testBit。