名单单子的魔力:
ghci> let powers (a, b) = [a^n | n <- [0 .. b-1]]
ghci> powers (2, 3)
[1,2,4]
ghci> map powers [(2, 3), (5, 3)]
[[1,2,4],[1,5,25]]
ghci> sequence it
[[1,1],[1,5],[1,25],[2,1],[2,5],[2,25],[4,1],[4,5],[4,25]]
ghci> mapM powers [(2, 3), (5, 3)]
[[1,1],[1,5],[1,25],[2,1],[2,5],[2,25],[4,1],[4,5],[4,25]]
ghci> map product it
[1,5,25,2,10,50,4,20,100]
ghci> let allPowers list = map product $ mapM powers list
ghci> allPowers [(2, 3), (5, 3)]
[1,5,25,2,10,50,4,20,100]
这可能值得进一步的解释。
你可以写你自己的
cartesianProduct :: [[a]] -> [[a]]
cartesianProduct [] = [[]]
cartesianProduct (list:lists)
= [ (x:xs) | x <- list, xs <- cartesianProduct lists ]
这样cartesianProduct [[1],[2,3],[4,5,6]]
⇒[[1,2,4],[1,2,5],[1,2,6],[1,3,4],[1,3,5],[1,3,6]]
。但是,comprehensions和monads故意相似。标准Prelude有sequence :: Monad m => [m a] -> m [a]
,当m
是列表monad []
时,它实际上就是我们上面写的。
作为另一种捷径,mapM :: Monad m => (a -> m b) -> [a] -> m [b]
仅仅是sequence
和map
的组合。
对于每个基地的不同权力的每个内部列表,您希望将它们乘以一个单一的数字。你可以写这个递归
product list = product' 1 list
where product' accum [] = accum
product' accum (x:xs)
= let accum' = accum * x
in accum' `seq` product' accum' xs
或使用折叠
import Data.List
product list = foldl' (*) 1 list
但实际上,product :: Num a => [a] -> a
已经被定义!我喜欢这种语言☺☺☺
'让权力(a,b)= [a^n | n < - [0 .. b-1]]' – Tordek 2010-02-27 21:42:09
@Tordek谢谢,我原汁原味了一下。 – ephemient 2010-02-27 22:30:00
美丽,谢谢。 – ezpz 2010-02-27 22:48:20