You would want to find a high level language for which adding if/then would add expressiveness as defined here [0]. If it does not add expressiveness, it’s just

You would want to find a high level language for which adding if/then would add expressiveness as defined here [0]. If it does not add expressiveness, it’s just desugaring/macros, which is basically the same as having if/then in the first place. [0] https://jgbm.github.io/eecs762f19/papers/felleisen.pdf https://jgbm.github.io/eecs762f19/papers/felleisen.pdf