> The idea being that we could write code in the human-readable imperative style and let the computer distill it down to its pure functional equivalent Here we

> The idea being that we could write code in the human-readable imperative style and let the computer distill it down to its pure functional equivalent Here we are, folks pulling their hairs for decades wrt how to most efficiently trans/compile higher-order FP idioms to minimal-overhead imperative --- and you want to go the other way around! Kidding aside, the "functional sub-language" of cell-lang.net has a feature like this, functions are pure but you get the imperative sugars (loops, branches) while preserving purity guarantees like referential transparency.