Haskellのリスト構築とメモリ使用量

Question

は、私は次のコードがあるとします。list aため

a = reverse b 
doSomething a 

ウィルメモリは、実際に割り当てられる、またはdoSomethingは単にリストbを再利用するのでしょうか？メモリが割り当てられる場合、それを避ける方法はありますか？逆のリストが必要なだけでメモリ使用量が倍増しても、特にいいとは言えません。

Answer 1

最悪の場合、aとbの両方が全体としてメモリに存在します。その場合でも、の内容はであることに注意してください.2つのリストは1つだけ存在し、両方のリストの間で共有されるので、2つのリストの「背骨」についてのみ話しています。

bがどのように定義されていて、何がdoSomethingであるかによって、コンパイラは、リストを処理するタイトな定数空間ループに全体を変えることができますおそらくメモリ割り当てを一切必要としません。多分。

しかし、非常に最悪の場合でも、リストの背骨を複製しています。実際の要素をのリストに複製することは決してありません。

（それぞれのノードは、どのような3つのポインタですか？）