<discocaml>
<__muffin> Is there an optimization on variants where you leverage the LSB to put the tag? So for instance if I have a
<discocaml>
<__muffin>
<discocaml>
<__muffin> type t = Int of int | U of u
<discocaml>
<__muffin>
<discocaml>
<__muffin> Where u is a record, would I have the memory overhead of the tag?
<discocaml>
<__muffin> Doesn’t look like it ☹️
bartholin has joined #ocaml
<discocaml>
<sim642> I think zarith does something like this but that's all in C
azimut has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
remexre has quit [Ping timeout: 260 seconds]
remexre has joined #ocaml
bartholin has quit [Quit: Leaving]
trev has joined #ocaml
<trev>
anyone know of an extremely large ocaml project (+300K SLOC) with a bunch of dependencies and stuff that I can look at and see how fast it compiles?
m5zs7k has quit [Ping timeout: 264 seconds]
m5zs7k has joined #ocaml
dhil has joined #ocaml
<discocaml>
<._null._> Seems like why3 would fit the extremely large part
<trev>
i'll have a look at that for now, thanks.
<trev>
for context, i'm trying to figure out if ocaml has the same issue that a huge rust project seems to have - when you change even the smallest amount of code it can take like 30 seconds to do even incremental compilation
<octachron>
Theoretically, the answer is no: OCaml takes a lot of care to support efficient incremental compilation.
m5zs7k has quit [Ping timeout: 268 seconds]
<octachron>
In particular, with the separation of interface and implementation, it is often possible that a small change of code only requires to recompile one file and re-link the executable or library
m5zs7k has joined #ocaml
<trev>
that's what i thought. not sure about the rust side, really. too afraid to bring it up in a rust community again cause everyone always says to just split the project more. that helps somewhat but also still stupid slow
<discocaml>
<darrenldl> hannes: oh i dont think so, neat!
<discocaml>
<darrenldl> the chat thingy was not well researched mainly because it was intended to be written in isolation for an interview, but that has since fell through
dnh has joined #ocaml
dnh has quit [Client Quit]
rak has quit [Quit: Segmentation fault (core recycled)]
rak has joined #ocaml
waleee has joined #ocaml
mro has joined #ocaml
tremon has joined #ocaml
Tuplanolla has joined #ocaml
xd1le has joined #ocaml
dnh has joined #ocaml
<companion_cube>
trev: in ocaml it'll be super fast using -opaque (iirc regular dune build does that). In release mode is less incrémental because of cross module inlining
<trev>
i see, thanks
<companion_cube>
(with `-opaque` I think OCaml compiles at leats as fast as Go)
cross has quit [Remote host closed the connection]
Guest68 has joined #ocaml
azimut has joined #ocaml
Guest68 has quit [Quit: Client closed]
cross has joined #ocaml
noonien85 has quit [Quit: Ping timeout (120 seconds)]
noonien85 has joined #ocaml
mro has quit [Quit: Leaving]
dstein64- has joined #ocaml
dstein64- has quit [Client Quit]
dstein64 has quit [Ping timeout: 260 seconds]
dstein64 has joined #ocaml
Anarchos has joined #ocaml
bartholin has joined #ocaml
trev has quit [Quit: trev]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
caymand has joined #ocaml
caymand has quit [Ping timeout: 276 seconds]
edr has joined #ocaml
xd1le has quit [Quit: xd1le]
John_Ivan has quit [Quit: Disrupting the dragon's slumber one time too often shall eventually bestow upon all an empirical and indiscriminate conflagration that will last for all goddamn eternity.]