Question

我正在编写一个代码，用于重复排列从k值中选择的n个元素。所以我得到的集合的基数应该有k ^ n个元素。在Haskell中，它相当容易。例如，人们可以写：

导入Control.Monad（replicateM）

main = mapM_ print（replicateM 2 [1,2,3]）

然后你会得到一个列表：

[1,1] [1,2] [1,3] [2,1] [2,2] [2,3] [3,1] [3,2] [3,3]

但是在标准ML上，我不知道该怎么做。

我试过了：

有趣的combs_with_rep（k，xxs）=

 case (k, xxs) of (0,_) => [[]]
                  |(_, []) => []

                  |(k, x::xs) =>List.map (fn ys => x::ys) (combs_with_rep((k-1),xxs))@ combs_with_rep(k,xs)

但是列表不完整，我不知道为什么......

Haskell中是否有模拟编码可以做同样的事情？或者我该如何修复我的sml代码？

感谢任何帮助！

Answer 1

只需转换monadic代码：

rep_comb n xs  -- n times choose 1 elem from xs, repetition allowed
  = replicateM n xs 
  = sequence $ replicate n xs
  = foldr k (return []) $ replicate n xs
        where
          k m m' = do { x <- m; xs <- m'; return (x:xs) }
  = case n of 0 -> [[]] ;
              _ -> k xs (rep_comb (n-1) xs)
        where
          k m m' = m >>= (\x-> 
                   m' >>= (\xs ->  return (x:xs) ))
  = case n of 0 -> [[]] ;
              _ -> xs >>= (\y-> 
                   rep_comb (n-1) xs >>= (\ys -> [y:ys]))
  -- i.e.
  = case n of 0 -> [[]] ;
              _ -> [y:ys | y<- xs, ys<- rep_comb (n-1) xs]
  = case n of 0 -> [[]] ;
              _ -> concatMap  (\y-> map (y:) (rep_comb (n-1) xs))  xs
  -- or, in a different order
  = case n of 0 -> [[]] ;
              _ -> [y:ys | ys<- rep_comb (n-1) xs, y<- xs]
  = case n of 0 -> [[]] ;
              _ -> concatMap  (\ys-> map (:ys) xs)  (rep_comb (n-1) xs)

现在您可以将其翻译为ML。

将Haskell代码转换为标准ML（重复组合）

1 个答案: