<discocaml>
<akhilindurti> TIL this is valid ocaml `{ {x = 2} with x = 3 }`
<companion_cube>
you'll get a warning tho
<discocaml>
<akhilindurti> i guess having an arbitrary expression to the left of the `with` can be useful for stuff like `{ (f()) with x = 3 }`
<discocaml>
<akhilindurti> yeah i guess a better example would've been like `{{x = 2; y = 3} with x = 3}`
<companion_cube>
yep
<companion_cube>
sometimes you have to add () tho
<companion_cube>
{(f yolo) with x=2}
chrisz_ has quit [Ping timeout: 264 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<discocaml>
<contextfreebeer> I'm not a fan of that, prefer to create a new binding instead
waleee has quit [Quit: WeeChat 4.1.2]
jabuxas has quit [Ping timeout: 256 seconds]
<discocaml>
<gunpowderguy> Does flamba2 or the ocaml compiler support defunctionalization or an alternative such as interprocedural optimization with function arguments
<discocaml>
<gunpowderguy> Does flamba2 or the ocaml compiler support defunctionalization or an alternative such as interprocedural optimization with functions used as arguments
malte has quit [Remote host closed the connection]
malte has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
<discocaml>
<eduardorfs> does anyone know where the Switch terminology in Eio comes from?
<companion_cube>
maybe lwt? it has a Lwt_switch.t type
<discocaml>
<Kali> "context switch", maybe
<discocaml>
<Kali> as in "coroutine context switch"
<discocaml>
<eduardorfs> it would make more sense to be Context in that case(which is a good name between)
<companion_cube>
it's so vague though
<companion_cube>
imho switch means, something you can turn off once, and everything attached to it will turn off too
<companion_cube>
that's what the lwt switch does
<discocaml>
<eduardorfs> oh switch as in lightbulb switch maybe?
<companion_cube>
yeah, a wall switch
<companion_cube>
you turn it off to stop everything
<discocaml>
<hockletock> that would be a fuse, no?
<discocaml>
<hockletock> unless you can turn everything back on again
<discocaml>
<eduardorfs> I guess we're doing electronics analogies now
<discocaml>
<eduardorfs> also a fuse is actually a better name, thank you
<discocaml>
<eduardorfs> especially because if a fuse blows up and you are not expecting it, the fuse above it will also blow up
<discocaml>
<eduardorfs> but I also wonder when turning it on again would be useful
tri has joined #ocaml
<companion_cube>
fuse is not a bad name indeed
tri has quit [Ping timeout: 264 seconds]
waleee has joined #ocaml
tri has joined #ocaml
tri has quit [Ping timeout: 256 seconds]
<discocaml>
<limp.biskit> the only situation in which i can see turning it back on again is if switches were heavy resources, but afaik they're fairly simple records containing a cancellation context and hooks
<discocaml>
<limp.biskit> switches also contain an Lwt_dllist, just to prove ocaml libraries actually can agree on something
tri has joined #ocaml
myrkraverk has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
tri has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ocra8 has quit [Quit: WeeChat 4.2.2]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ocra8 has joined #ocaml
bartholin has quit [Quit: Leaving]
leah2 has quit [Ping timeout: 268 seconds]
leah2 has joined #ocaml
Serpent7776 has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
jabuxas has joined #ocaml
<discocaml>
<yawaramin> some other libraries i've come across call it a 'scope'
<companion_cube>
In picos I think it's a bundle
<companion_cube>
In moonpool it's implicit :p
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]