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?
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?
No comments yet.