If the response from the compiler/type system is the feedback signal for the loop, shouldn’t this work for any language that offers such facilities?