ANF is very much not considered a dead-end. It is the opposite number of SSA from the Functional programming languages perspective. CPS overlaps with it but als

ANF is very much not considered a dead-end. It is the opposite number of SSA from the Functional programming languages perspective. CPS overlaps with it but also has properties, like requiring whole-program transformation, that do not help with predicting the final shape of the program. See https://pauldownen.com/publications/anf-continued.pdf https://pauldownen.com/publications/anf-continued.pdf, https://www.reddit.com/r/ProgrammingLanguages/comments/13w3cw3/cps_vs_anf/jmd8op6/ https://www.reddit.com/r/ProgrammingLanguages/comments/13w3c... and https://langdev.stackexchange.com/a/2254 https://langdev.stackexchange.com/a/2254 (as well as https://www.college-de-france.fr/sites/default/files/media/document/2024-03/Leroy%202023-2024%20-%20S%C3%A9minaire%2022%20f%C3%A9vrier%20Kennedy.pdf https://www.college-de-france.fr/sites/default/files/media/d... as a bonus)