11:01 <discocaml> <darrenldl> is tail mod cons still a very experimental

11:02 <discocaml> <darrenldl> interface?

11:02 <discocaml> <darrenldl> (if it ever was, that is)

11:07 <discocaml> <deepspacejohn> IIRC parts of the stdlib use it now, or at least will in the next release

11:12 <discocaml> <Bluddy> supposed to be working fine but has to be activated manually

11:33 <discocaml> <darrenldl> is there any precaution to using it in a project? (say on the level of avoiding similar to effect handler, cause i can't quite imagine tail mod cons to have significantly changing interface between releases...)

11:38 <discocaml> <Kali> as noted in the manual, it can change the order that arguments are evaluated in, which matters if you are passing impure functions to it

11:39 <discocaml> <Kali> i don't know of any others, but there may be some

11:52 <discocaml> <deepspacejohn> I think it’s also slower and the complied output is slightly larger.

13:42 <discocaml> <darrenldl> i see, thanks all!

13:44 <discocaml> <NULL> slower *to compile* maybe, it shouldn't be slower *to run*

13:47 <discocaml> <deepspacejohn> I haven't measured it myself, but that's just what I remember from this discussion: https://discuss.ocaml.org/t/stdlib-list-loop-unrolling/11262?u=johnj Performance seems to be the reason why the stdlib does loop unrolling for functions using TMC.

16:15 <Ankhers> Does ocaml allow cyclical dependencies at the module level? i.e., can I define modules A and B and have them both call each other?

16:16 <companion_cube> you can use `module rec` but it's disgusting

16:18 <discocaml> <Kali> yes, but only if they are in the same file using `module rec`

16:19 <Ankhers> Ok. So by default it doesn't allow it. And it doesn't allow it at all if they are in separate files?

16:19 <discocaml> <Kali> yes

16:20 <Ankhers> Thank you both!

16:20 <discocaml> <Kali> https://v2.ocaml.org/manual/recursivemodules.html

17:08 <discocaml> <sim642> You also could have them in separate files by making each one a functor that takes others as arguments

17:08 <discocaml> <sim642> Then in one central module do the module rec