I've tried out the new monadic operators in OCaml, it's not bad.

entire code

before/after using the `let*` operator:

There doesn't seem to be a way to mimic Haskell's do notation for (>>), so I was forced to do `let* () = ...`, but if there is a way, I'm interested

@otini (didn't look at your entire code) shouldn't the two label_tree be independent / using and* instead of let* (to exploit potential concurrency)?

@hannesm Ah yes, you're right. Given that my state monad has the simplest implementation possible it will be equivalent in this case, but you are right I should use and.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!