<pukkamustard>
nore: hi! just stumbled upon a comment where you express the idea to replace the camlboot interpreter with one implemented in C (https://github.com/Ekdohibs/camlboot/issues/1#issuecomment-452905768). I think that makes a lot of sense. Any updates on this idea?
<hannes>
(ah, draft 2018-2921) -- anyways that's the most recent work in the OCaml debootstrapping area that I'm aware of
<nore>
hi :) the plan was to compile it to C, not to replace it with a C interpreter, however, after initial experimentation we compiled to OCaml bytecode instead
<nore>
The paper has been published at <Programming> 2022, let me find the definite version
<nore>
pukkamustard: so this describes the debootstrap, I have also made a presentation at the 10 years of Guix event about it 10 days ago
<pukkamustard>
yes! Unfortunately, I missed it live. I'm hoping for the recordings to go online.
<nore>
It was recorded, but I'm not sure if is it available online yet
<nore>
In any case, it should be at some point I think, as I did agree to it being recorded
<pukkamustard>
> 1.4 Key metric: human work required to debootstrap
<pukkamustard>
🙂
<pukkamustard>
very nice work!
<nore>
thank you :)
<pukkamustard>
I see that the big change from 4.07 to 4.08 and later is the usage of Menhir, which needs to be included in the debootstrap. But apart from that going up to 4.12/4.14 should be doable? Do you anticipate any significant changes wrt. to debootstrap for 5.0?
olle has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 265 seconds]
orbifx has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
sagax has quit [Ping timeout: 246 seconds]
mro has quit [Quit: Leaving...]
bartholin has joined #ocaml
<nore>
I think it should be doable, but we have so far not found the time to do it :)
<nore>
There probably wouldn't be any significant change, since we can compile menhir with OCaml 4.07 and then use it as we used ocamlyacc
Haudegen has quit [Quit: Bin weg.]
wingsorc__ has quit [Ping timeout: 246 seconds]
orbifx has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
orbifx1 is now known as orbifx
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
jpds1 has quit [Read error: Connection reset by peer]
jpds1 has joined #ocaml
kakadu has joined #ocaml
troydm has quit [Ping timeout: 244 seconds]
waleee has joined #ocaml
tomku has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
troydm has joined #ocaml
jpds1 has quit [Ping timeout: 258 seconds]
jpds1 has joined #ocaml
jpds1 has quit [Ping timeout: 258 seconds]
jpds1 has joined #ocaml
mro has joined #ocaml
orbifx has quit [Quit: orbifx]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
jpds1 has quit [Read error: Connection reset by peer]
jpds1 has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
waleee has quit [Ping timeout: 265 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
Haudegen has joined #ocaml
mro has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
mbuf has quit [Quit: Leaving]
jmiven has quit [Quit: reboot]
jmiven has joined #ocaml
orbifx has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<greenbagels>
Is there a map-like way to build a list from elements of a hash table?
<greenbagels>
Should I convert the Hashtbl to a Seq and then use that?
<greenbagels>
Basically I have a lookup table of lists indexed by a tuple
<greenbagels>
But now I want to reduce each list, and make a list of the results of each reduction
<greenbagels>
Like as a simple example, a hash table mapping the first name "bob" to a list of ages for people with the name "bob"
<companion_cube>
hashtbl -> seq -> Seq.map/flat_map/… -> List.of_seq, for example, yeah
waleee has joined #ocaml
mro has joined #ocaml
dnh has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
orbifx has joined #ocaml
wingsorc__ has joined #ocaml
<greenbagels>
Thanks companion_cube!
<greenbagels>
Also, is it possible for too many nested pattern matches to cause a segfault?
<companion_cube>
hu, unless it's generated code, I really don't think so
<greenbagels>
Like say I have something silly like a fun (((((a, b), c), d), e), f) -> ...
<greenbagels>
Ah ok, I wonder why my code is segfaulting then
<companion_cube>
maybe a stack overflow because some recursion doesn't terminate?
<greenbagels>
Hm maybe
<greenbagels>
But I am not using recursive functions as far as I can tell
<greenbagels>
Oh
<greenbagels>
What a silly thing for me to say
<greenbagels>
:p
<greenbagels>
Thank you companion_cube, it was List.map overflowing, of course!
<greenbagels>
Hehehe
<companion_cube>
ah :/
<companion_cube>
long list, heh
<greenbagels>
yea
mro has quit [Remote host closed the connection]
mro has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 260 seconds]
mro has quit [Read error: Connection reset by peer]