了解 Haskell 中的笛卡尔积实现是如何工作的

Question

我已经开始学习 Haskell，但我无法理解列表列表的笛卡尔积如何工作

这是假定的代码

cprod = foldr f [[ ]]
      where f xs yss = foldr g [ ] xs
            where g x zss = foldr h zss yss
                  where h ys uss = (x : ys) : uss

我没有得到的是最后一个函数 据我所知，我已经替换了变量名

mycart = foldr f [[]]
    where f currentresult listelem = foldr g [] currentresult
          where g currentresultonstep currentresultelem = foldr h currentresultelem listelem
                where h currentresultelemonstep onelistelem = (currentresultonstep:currentreslteleemonstep):onelistelem

最后一个字符串不应该是这样的吗？

where h currentresultelemonstep onelistelem = (onelistelem:currentresultelemonstep):currentresultonstep

当我们尝试将列表的元素添加到当前结果元素的开头时 ?

Answer 1

首先，您编写的代码在语法上无效：

foo.hs:3:13: parse error on input `where'

其次，您似乎对foldr的第一个参数中的参数顺序感到困惑：

foldr :: (a -> b -> b) -> b -> [a] -> b

第一个参数 (a) 是输入列表 ([a]) 的一个元素，第二个参数 (b) 是累加器。