假设我有两个函数f :: [a] -> b和g :: [a] -> c。我有以下两个问题：
如果我执行(f &&& g) xs xs :: [a]，f和g都涉及循环，编译器是否可以将这两个循环优化为一？ （请注意，我不是在问一些特定的Haskell编译器是否实现了这一点。我想知道这样的事情是否可能。）
来自traverse类型类的Traverse函数是否可以帮助我对以下内容进行优化：
traverse (someCombinator f g) xs
答案 0 :(得分：9)
理论上可以优化此代码，但非常困难，因为f和g可能会消耗不同数量的输入列表。只有当它们消耗相同的金额时，或g总是消耗更多的列表而不是f（反之亦然），才有可能执行优化。暂停问题阻止编译器在复杂代码中检测到这种情况。
只有在f和g内部使用foldr的简单情况下，才有可能在没有进一步内省的情况下执行琐碎的优化。
traverse函数在这里没有帮助，因为没有合理的方法来实现someCombinator（您希望如何将a的多个调用转换为[a] f 1}}没有严重的黑客攻击？然后你回到了你开始的地方。）
您唯一真正的选择是将g和f :: a -> b -> b放入文件夹，以便他们拥有签名g :: a -> c -> c和b，这意味着{{1}的值}}和c可以递增计算。然后，您可以使用\ a -> f a *** g a来获取可以在传统文件夹中使用的文件夹（在本例中为右侧）。