Stumpfenstiel has quit [Ping timeout: 250 seconds]
Haudegen has quit [Ping timeout: 252 seconds]
azimut has joined #ocaml
chrisz has quit [Ping timeout: 246 seconds]
chrisz has joined #ocaml
Techcable has quit [Ping timeout: 276 seconds]
spip has quit [Quit: Konversation terminated!]
bgs has quit [Remote host closed the connection]
Techcable has joined #ocaml
trev has joined #ocaml
<discocaml>
<lagarto> I saw this function in the ocaml compiler:
<discocaml>
<lagarto> ```
<discocaml>
<lagarto> val map_left_right: ('a -> 'b) -> 'a list -> 'b list
<discocaml>
<lagarto> (** Like [List.map], with guaranteed left-to-right evaluation order *)
<discocaml>
<lagarto> ```
<discocaml>
<lagarto> But, if I understand the implementation of List.map (in stdlib/list.ml), it's also going to be left to right. Is that just "not guaranteed" but realistically always going to be true? Or is this some out-dated thing?
<discocaml>
<lagarto> only two callsites ...
<dh`>
I imagine it's unspecified
<dh`>
and maybe at some point someone was having notions of it being concurrent
<discocaml>
<darrenldl> i am guessing because the stdlib one uses tail mod cons annotation, which affects the evaluation order (still reading up on how exactly)
<discocaml>
<darrenldl> for the stdlib list definition, seems like it should be the same hmmm
<discocaml>
<lagarto> I saw the function blames to a commit from ~2002, so I'm guessing it's just old ... but, it still raises the question for me, can I rely on left-to-right eval order when calling List.map?
<discocaml>
<darrenldl> judging by the implementation, i think we can, cause of the explicit let bindings which force eval order afaik
Tuplanolla has joined #ocaml
olle has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
cedric has joined #ocaml
cedric has quit [Client Quit]
spip has joined #ocaml
Haudegen has joined #ocaml
beo has left #ocaml [#ocaml]
Anarchos has joined #ocaml
xgqt has quit [Read error: Connection reset by peer]
Anarchos has quit [Ping timeout: 255 seconds]
xgqt has joined #ocaml
waleee has quit [Quit: updattar]
waleee has joined #ocaml
waleee has quit [Ping timeout: 255 seconds]
szkl has joined #ocaml
count3rmeasure has joined #ocaml
glondu[m] has quit [Ping timeout: 265 seconds]
glondu[m] has joined #ocaml
micro has quit [Ping timeout: 260 seconds]
micro has joined #ocaml
hornhack has quit [Read error: Connection reset by peer]
hackhorn has joined #ocaml
hackhorn has quit [Client Quit]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
anpad has quit [Ping timeout: 252 seconds]
Stumpfenstiel has joined #ocaml
trillion_exabyte has quit [Ping timeout: 276 seconds]
trillion_exabyte has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]