I don’t know about the prevalence of any of them in theoretical CS (I’m not in the field and only know about them from university), but LOOP is equivalent to pr

I don’t know about the prevalence of any of them in theoretical CS (I’m not in the field and only know about them from university), but LOOP is equivalent to primitive recursion, and WHILE is equivalent to μ-recursion. If not LOOP, WHILE and GOTO themselves, maybe the recursion are prevalent? I imagine they are a bit more convenient for proofs and the like.