機能性中間体の欠点

JavaScriptに似た言語のオプティマイザーを作成しているため、中間コード表現を選択する必要があります。最近の明らか/典型的な選択は、静的単一割り当て（SSA）です。

ただし、CのModern Compiler Implementationは、機能的な中間形式についても説明します。これは基本的に、中間表現の純粋な機能を実現することを意味します（ローカル変数のみについては純粋で、ヒープデータはCPSではなく、変更可能であり、単純なletブロックおよびテールコールのみです）。推論しやすいという点でいくつかの利点があります。

おそらくそれは簡単ではないか、誰もがすでにそのような表現を使用しているので、私の質問は、機能的な中間形式がSSAと比較してどのような不利な点ですか？

SSAは、デッドコードの除去、定数の伝播、部分的な特殊化などに最適です。この種のものがメニューにない場合は、SSAをスキップして、よりリラックスした表現を使用して簡単な分析パスを作成できます。