Kekurangan bentuk perantara fungsional

Saya sedang menulis pengoptimal untuk bahasa yang mirip dengan JavaScript, dan perlu memilih representasi kode perantara. Pilihan yang jelas / tipikal akhir-akhir ini adalah Static Single Assignment (SSA). Namun, Implementasi Kompiler Modern di C juga membahas bentuk perantara fungsional, yang...