[digibeet]

Ah, I find myself in similar waters. In your experience does the [@@tailcal] annotation not cover enough of the cases?

[mhitza]

I'm aware of the tailcall annotation but I didn't have to rely on it yet. For me the benefit of picking up OCaml is that I can do imperative constructs on a first pass (mutation and for loops), and refactor it after to pure code, when needed.