07:52 <discocaml> <darrenldl> is Thread the cheapest way to get lightweight preemption in ocaml 5?

08:11 <discocaml> <octachron> Yes as far as I know.

10:14 <discocaml> <xavierm02> Given the definition of mutually recursive types, what is the simplest way of obtaining a function that interprets them in an arbitrary way (i.e. maps each constructor to a function, and evaluates the result)?

10:22 <discocaml> <xavierm02> I tried building the function in a somewhat modular way by defining each type on its own by making it polymorphic over the other to-be-defined types, but when I combine the definitions, I get an error saying that the definition is cyclic. I then tried taking the to-be-defined types as an argument to a functor, and to then use a recursive module to combine them together. This seems to work, but I'm not entirely happy with it because I need to

10:29 <discocaml> <bnguyenv> I think you just need to write `type thing = Thing of other Thing.t and other = thing Other.t` with a constructor.

10:30 <discocaml> <bnguyenv> For the first version to work.

10:37 <discocaml> <darrenldl> @octachron thanks!

10:57 <discocaml> <xavierm02> @bnguyenv Hm. I'd prefer a solution that doesn't add a superfluous constructor that wasn't there in the initial mutually recursive definition. But this looks far more reasonable than my attempts with recursive modules, and if I can always [@@unboxed] the types. Thanks!

12:36 <discocaml> <froyo> why not do the simple thing? https://pastebin.com/NSbbYcak

15:04 <discocaml> <xavierm02> I wanted to be a bit more modular. The two inductives are like a normal calculus (ints, addition, ...) and a somewhat orthogonal module-like system, and there is a priori no reason for them to be this tightly coupled.

20:50 <discocaml> <Et7f3 (@me on reply)> Yay #github-ocaml-feedwe have all github repos 🙂

23:08 <discocaml> <functionalprogramming> why does this print "what324"

23:08 <discocaml> <functionalprogramming> https://cdn.discordapp.com/attachments/436568060288172044/1119040804707647518/Screen_Shot_2023-06-15_at_4.08.29_PM.png

23:09 <discocaml> <functionalprogramming> instead of "what243"

23:14 <companion_cube> Did you print something else before, and did not flush the formatter?

23:14 <companion_cube> It's all buffered

23:16 <discocaml> <functionalprogramming> i am also experimenting with flush now but I don't think it's doing what I think it's doing

23:17 <discocaml> <functionalprogramming> this prints nothing

23:17 <discocaml> <functionalprogramming> https://cdn.discordapp.com/attachments/436568060288172044/1119042949058150531/Screen_Shot_2023-06-15_at_4.17.06_PM.png

23:17 <discocaml> <functionalprogramming> I did not print anything before I printed "what" in the first screenshot

23:30 <discocaml> <darrenldl> have you flushed stdout after flushing formatter?

23:32 <discocaml> <functionalprogramming> ohhh

23:33 <discocaml> <darrenldl> its typically easier to just do everything w.r.t. formatter in the format string as well

23:34 <discocaml> <functionalprogramming> nothing happens even if i also do `let () = flush stdout` at the end

23:34 <discocaml> <functionalprogramming> yeahh im not sure the right way to approach this and I can't find any examples online either

23:34 <discocaml> <darrenldl> can you show the full code?

23:34 <discocaml> <functionalprogramming> https://cdn.discordapp.com/attachments/436568060288172044/1119047357280030720/Screen_Shot_2023-06-15_at_4.34.37_PM.png

23:34 <discocaml> <functionalprogramming> I'm using containers

23:34 <discocaml> <functionalprogramming> or um just playing around with it i guess

23:34 <discocaml> <functionalprogramming> i am yak shaving rn 😄

23:35 <discocaml> <darrenldl> how are you running it? also lets move to #beginners

23:35 <discocaml> <functionalprogramming> ohhh i thought i was in #beginners

23:35 <discocaml> <functionalprogramming> sorry