2
タイプ[[a]]の法則->（[a]、[a]）
私は宿題からこの質問をしようとしています： 任意の場合、リストとペアを含めfoo :: [[a]] -> ([a], [a])、関数がfoo満たす1つの法則を書き留めmapます。 いくつかのコンテキスト：私は関数型プログラミングのコースを受講する1年生です。コースはかなり入門的なものですが、講師はシラバスから多くのことを述べてきましたが、その中には自由定理があります。だから、Wadlerの論文を読むことを試みた後、私はそれを起算concat :: [[a]] -> [a]法律をmap f . concat = concat . map (map f)我々は持っている必要がありますから、私の問題に関連して見えるfoo xss = (concat xss, concat' xss)場所concatとconcat'種類のいずれかの機能です[[a]] -> [a]。次にをfoo満たしbimap (map f, map g) . foo = \xss -> ((fst . foo . map (map f)) xss, (snd . foo . …