<d_bot>
<mbacarella> I think I finally ran into a situation where I'd be super screwed if GADTs didn't exist
<d_bot>
<mbacarella> thanks for implementing them, OCaml dev community. sorry I didn't appreciate how serious this was
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
szkl has joined #ocaml
waleee has joined #ocaml
<brettgilio>
Anybody know where the RWO pdf is kept?
<brettgilio>
There used to be one
h11 has quit [Ping timeout: 240 seconds]
h11 has joined #ocaml
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #ocaml
<greenbagels>
brettgilio: are you ok with building your own copy?
<brettgilio>
yeah thats what im doing now
<brettgilio>
because I don't see it
<brettgilio>
its for a friend
<brettgilio>
which is why I just wanted the link
<brettgilio>
but i'm happy to build it for them
<greenbagels>
i could have sworn there used to be one, i dont see it myself
<greenbagels>
are there general questions to ask yourself when considering whether to use mutable/immutable types for functions/algorithms
<greenbagels>
it feels like constantly making copies to edit a record is clunky, though i guess there's that syntax for copying a record with only specific field changes
motherfsck has quit [Ping timeout: 244 seconds]
waleee has quit [Ping timeout: 272 seconds]
waleee has joined #ocaml
motherfsck has joined #ocaml
<d_bot>
<mbacarella> i tend to use mutable records more in gui programming, or in network servers
<d_bot>
<mbacarella> places where a record is observed from multiple places that are kinda long-running and i want the confidence that i can update the whole world by mutating one record rather than having to send them all the new version
<d_bot>
<mbacarella> obvs you can do some kind of functional queue architecture where your gui/network service is folding over an infinite stream of events or whatever but that's not always natural
kuso has quit [Ping timeout: 244 seconds]
<gopiandcode>
Heyo, slightly ot, but anyone know where I can get help with using Z3? are there any official discussion channels or something?
ahou has joined #ocaml
<gopiandcode>
Im running into a situation where `Z3.Solver.push` via OCaml is just hanging, while converting the solver to a string and evaluating it leads to the code working
<gopiandcode>
(evaluating it by sending it to a z3 process in SMTLIB2 format manually)
waleee has quit [Ping timeout: 260 seconds]
<companion_cube>
I've honestly moved away from `push` entirely
<companion_cube>
only using the assumption mechanism
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has quit [Read error: Connection reset by peer]
spip has joined #ocaml
P1RATEZ has quit [Remote host closed the connection]
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<greenbagels>
mbacarella: yeah, thats pretty much what im thinking, too; the discord websockets api tags each event with a sequence number and multiple callback handlers that are seemingly independent need to read/write this same sequence number
<greenbagels>
i figure just having a module-level ref is good enough
<greenbagels>
er, a module-level record holding similar types of variables with mutable fields or something
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vicfred has joined #ocaml
<d_bot>
<mbacarella> I'm still mind-blown by GADTs
<d_bot>
<mbacarella> i can't tell if i'm failing to make some kind of logical leap, or if being able to vary the return type of a function is properly amazing
<d_bot>
<mbacarella> i guess you could arguably be generating a different function specialized for each input variant that corresponds to a different output type?
vicfred has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 240 seconds]
Tuplanolla has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
waleee has quit [Ping timeout: 248 seconds]
waleee has joined #ocaml
<d_bot>
<geoff> Personally the only time that I have used GADTs "properly" in some small way so far was for a type that I wanted to be able to restrict certain functions (but not all) to only allow one of the two variants, including enforcing input lists be purely one or the other.
ahou has left #ocaml [#ocaml]
<d_bot>
<geoff> I was pretty pleased with how they helped me accomplish that, but I haven't come across another time they'd be truly appropriate (for what I've been trying to do) since
leah2 has quit [Ping timeout: 248 seconds]
<d_bot>
<orbitz> I can only use GADTs by rote at this point. I think they are probably a feature with the largest impact relative to the perceived change
<d_bot>
<orbitz> I don't think you need to.
dons has joined #ocaml
<dons>
hey folks. n00b question. i'm trying to add ocaml language indexing support, using https://github.com/rvantonder/lsif-ocaml . this relies on .merlin files. are these obsolete or no longer available with dune? or is it still viable to depend on .merlin files ?