06:41 <euouae> Hello to switch to the latest release of ocaml do I do `opam switch create ocaml.5.2.0`?

07:01 <octachron> Yes (except if you want to enable flambda, in which case you can use `opam switch create ocaml.5.2.0+flambda ocaml-variants.5.2.0+options ocaml-option-flambda`)

14:37 <discocaml> <softwaresirppi> Hi guys

14:37 <discocaml> <softwaresirppi> What up

15:17 <discocaml> <gooby_clown> Nothing much, just another day, wbu

15:31 <discocaml> <rongcuid> Is it possible to encode nondeterminism in effects?

15:48 <discocaml> <gooby_clown> You need multishot for that

15:48 <discocaml> <rongcuid> So there's no way to emulate the List monad

15:53 <discocaml> <softwaresirppi> Exams approaching

15:53 <discocaml> <softwaresirppi> So I can't dabble around in Ocaml for 15 days

15:53 <discocaml> <softwaresirppi> 😦

15:53 <discocaml> <softwaresirppi> What's that!!!

15:59 <euouae> octachron: thank you for the flambda command; it worked. I couldn't get it to work without. I was getting an error about version 5.4.0! Which is not even released! I don't get it...

15:59 <euouae> But ok, it worked. So I'm rolling with that now.

16:06 <discocaml> <gooby_clown> Have you tried out algebraic effects yet

16:06 <euouae> me? no

16:09 <discocaml> <softwaresirppi> Link me some docs please!!

16:09 <discocaml> <softwaresirppi> Is that a monad I smell

16:09 <discocaml> <gooby_clown> euouae: It's for Sirppi

16:09 <discocaml> <gooby_clown> Sirppi: Nono, second

16:09 <discocaml> <gooby_clown> https://ocaml.org/manual/5.2/effects.html

16:09 <discocaml> <softwaresirppi> Oh so IRC doesn't show replies?

16:09 <discocaml> <gooby_clown> It doesn't

16:09 <discocaml> <softwaresirppi> What IRC client you use euouae?

16:10 <discocaml> <softwaresirppi> That's cool...

16:16 <discocaml> <gooby_clown> Right, and OCaml effect continuations are singleshot, meaning you can only resume them once

16:16 <discocaml> <gooby_clown> Whereas multishot allows multiple resumptions

16:16 <euouae> I just joined, maybe I missed the previous text.

16:17 <discocaml> <softwaresirppi> Oh that's interesting

16:17 <discocaml> <softwaresirppi> Generators in Ocaml!?!

16:17 <euouae> (I think it's your bridge that possibly doesn't show joins)

16:19 <discocaml> <gooby_clown> Sirppi: You can actually get generators with current singleshot conts

16:19 <discocaml> <softwaresirppi> I think I should try it

16:19 <discocaml> <softwaresirppi> But unfortunately I can't now 😭

19:25 <dmoerner> can someone help link me or explain the meaning of the binding "type !+'a t" in https://ocaml.org/manual/5.2/api/Map.Make.html . I understand what it does in this particular case from the doc comment but I haven't seen this !+ syntax in a signature before, and it's hard to search for. thanks

19:27 <Anarchos> dmoerner search for ! and + separately

19:31 <Anarchos> dmoerner variance and injectivity in https://ocaml.org/manual/5.2/typedecl.html#ss%3Atypedefs

19:32 <discocaml> <Kali> it would be crazy if there was a stackoverflow answer for this exact question https://stackoverflow.com/questions/70450821/ocaml-meaning-of-in-type-a-t

19:33 <dmoerner> thank you both

19:35 <dmoerner> and i maintain that is not even easy to search for on stackoverflow :)

19:37 <euouae> chatgpt can give some insights too

20:30 <discocaml> <sabrinasummers> 🐫

20:32 <Anarchos> dmoerner anyway, i could never understand what they mean or how/when to use them !