1
機能性中間体の欠点
JavaScriptに似た言語のオプティマイザーを作成しているため、中間コード表現を選択する必要があります。最近の明らか/典型的な選択は、静的単一割り当て（SSA）です。 ただし、CのModern Compiler Implementationは、機能的な中間形式についても説明します。これは基本的に、中間表現の純粋な機能を実現することを意味します（ローカル変数のみについては純粋で、ヒープデータはCPSではなく、変更可能であり、単純なletブロックおよびテールコールのみです）。推論しやすいという点でいくつかの利点があります。 おそらくそれは簡単ではないか、誰もがすでにそのような表現を使用しているので、私の質問は、機能的な中間形式がSSAと比較してどのような不利な点ですか？