Flat/Non-higher-order construction of ANF via mutable holes

Flat&#x2F;Non-higher-order construction of ANF via mutable holes This post will describe an algorithm for constructing an ANF&#x2F;similar IR from a functional-like base language with no closure usage, and with no related excess space requirements. This algorithm is as far as I know not new, and has apparently been known in imperative compilation for a while. However, I admittedly have no source…