同じリストで2つのマップを融合するにはどうしたらいいですか？

Question

我々は自動的融合のこの種の実行上の任意のreasearchがありますので、

unzip (map (\x -> (f x, g x)) xs) 

のように表現

(map f xs, map g xs) 

にリストxsにわたって2つの横断を融合だろうか？

（返されたリストの一方が他方の前に消費された場合は、ここでスペースリークを作成するにはリスクがあります、私はスペースを節約するよりもxsの上に余分な横断を防止する上でより興味があります。。）

編集：I unzipがその消費者と融合できるかどうかによっては、この変換が意味をなさないかもしれない実際のメモリ内Haskellリストに融合を適用することを実際には考えていない。私はunzipが融合できることを知っている設定をしています（「FlumeJava：簡単で効率的なデータ並列パイプライン」を参照）。

Answer 1

また、完全自動ではありませんが、GHCにそのような書き換えルールのリストを与えることができます。 7.14 Rewrite rulesおよびUsing rulesを参照してください。次にコンパイラはこれらの規則を使用して、コンパイル時にプログラムを最適化します。 （決してチェックでコンパイラはルールがどんな意味をなす場合があります。）

編集：は、この特定の問題のための例を与えるために、我々は書くことができます。

{-# OPTIONS_GHC -fenable-rewrite-rules -ddump-rule-firings -ddump-rule-rewrites #-} 

import Data.Char 

{-# RULES 
"map/zip" forall f g xs. (,) (map f xs) (map g xs) = unzip (map (\x -> (f x, g x)) xs) 
    #-} 

main :: IO() 
main = let x = "abCD" in 
     print $ (,) (map toUpper x) (map toLower x) 

（トップレベルをルールの関数名は(,) :: a -> b -> (a, b)です）。コンパイルすると、ルールの適用方法がわかります。オプションdump-rule-firingsはルールが適用されたときにメッセージを表示し、-ddump-rule-rewritesは各ルールアプリケーションを詳細に表示します。7.14.6. Controlling what's going on in rewrite rulesを参照してください。

ヨーゼフSvenningsson：

Answer 2

私は、少なくとも簡単に融合（未）に言及して関数のように郵便番号の2つのリソースを、見つけることができました。 「パラメータを累積するためのショートカットフュージョン&ジップライクな機能」 http://www.cse.chalmers.se/~josefs/publications/fusion.pdf

ダンカンCoutts。 "ストリームフュージョン：誘導シーケンスタイプのための実用的なショートカットフュージョン" https://community.haskell.org/~duncan/thesis.pdf

いずれのリソースも、この種の「兄弟融合」を明示的に言及していません。