Language integrated LLMs as an OCaml function

This is fascinating but OCaml is a bit arcane for me…

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?