companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
ello has quit [Ping timeout: 252 seconds]
ello_ has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
ski has quit [Remote host closed the connection]
Frostillicus has quit [Ping timeout: 245 seconds]
Frostillicus has joined #ocaml
ski has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
YuGiOhJCJ has joined #ocaml
humasect has joined #ocaml
germ_ has quit [Read error: Connection reset by peer]
germ_ has joined #ocaml
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
humasect has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
humasect has joined #ocaml
humasect has quit [Ping timeout: 276 seconds]
Frostillicus has joined #ocaml
bartholin has joined #ocaml
dhil has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
Frostillicus has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Ping timeout: 245 seconds]
Frostillicus has joined #ocaml
humasect has joined #ocaml
humasect has quit [Ping timeout: 248 seconds]
Haudegen has quit [Quit: Bin weg.]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
Serpent7776 has joined #ocaml
Frostillicus has quit [Ping timeout: 248 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
gareppa has joined #ocaml
Haudegen has joined #ocaml
gareppa has quit [Quit: WeeChat 4.5.1]
gzar has joined #ocaml
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
szkl has quit [Quit: Connection closed for inactivity]
humasect has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
agentil has joined #ocaml
<gzar> Good morning! I'd like to implore you and call you humbly to God, to Jesus, to repentence and to his forgivness of your tresspasses. He is waiting and willing to forgive
<humasect> kk
agentil has left #ocaml [#ocaml]
Anarchos has joined #ocaml
<companion_cube> will do
<Anarchos> ocaml 5.3.0 is out, time to change the topic !
gwizon has joined #ocaml
gwizon has quit [Client Quit]
gwizon has joined #ocaml
companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.3.0 released: https://ocaml.org/releases/5.3.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
<humasect> Anarchos: oh cool, going to read changes =)
<humasect> er.... "OCaml version 5.3.0 " in terminal already.
<discocaml> <Kali> @admin
gzar has quit [K-Lined]
dhil has quit [Ping timeout: 260 seconds]
Exa has quit [Read error: Connection reset by peer]
Exa has joined #ocaml
<humasect> eh... yeah guys, OCaml version 5.3.0 was released 6 months ago ??
<humasect> Anarchos: oops, it is early, i thought you were trying to change the topic of discussion from the religious statement, not the actual channel topic. don't mind me everyone ~~
Haudegen has joined #ocaml
<discocaml> <yawaramin> anyone seen this? what do you think? https://www.microsoft.com/en-us/research/publication/exploring-perceus-for-ocaml/
<companion_cube> good luck to them, perceus doesn't like mutability afaik
Frostillicus has joined #ocaml
<discocaml> <contificate> It's a shame they did this for OCaml 4 and not 5
<discocaml> <yawaramin> 'The prototype currently supports only a limited subset of OCaml and for example does not consider exceptions and mutable references. In future work we hope to add support for these'
<companion_cube> basically yeah
<humasect> it feels unhealthy for jane street to go no-allocations after startup. a friend of mine is doing this with Common Lisp as well.
<discocaml> <contificate> I suppose it's kind of interesting that they claim to use less memory - but I'm not sure how much of a benefit you really get on average
<humasect> discocaml: probably because its LTS long term support version
<companion_cube> I also wonder how much you lose, in a real program, by ignoring the generational hypothesis
<discocaml> <contificate> that said, I think this is an interesting direction, in that I also think things like linear regions were an interesting direction for forks of Standard ML: alternative allocation strategies are always useful, if managed well
<discocaml> <yawaramin> have you seen this https://dl.acm.org/doi/pdf/10.1145/3735950.3735958 ? 'Despite its simplicity, the generational hypothesis leaves some things to be desired...We propose instead lifetime dispersion as a measure of
<discocaml> <yawaramin> how generational a program’s objects are, and explain how
<discocaml> <yawaramin> it can be quantified by the Gini coefficient. We show that
<discocaml> <yawaramin> this measure is both composable, and directly connected to
<discocaml> <yawaramin> effectiveness of generational collection.'
Frostillicus has quit [Read error: Connection reset by peer]
<discocaml> <yawaramin> (Stephen Dolan)
Frostillicus has joined #ocaml
<discocaml> <contificate> I mean, it's interesting from the analytic perspective - but it goes without saying that a single GC strategy is not a one size fits all, but yes it'd be nice to have more data to compare with across a large benchmark suite
<discocaml> <contificate> especially as of OCaml 5
<companion_cube> the problem is just that they support a tiny subset of OCaml that no program fits in
<companion_cube> with no obvious way to extend the subset they support
tronexte has quit [Read error: Connection reset by peer]
tronexte has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Anarchos has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Ping timeout: 272 seconds]
dhil has joined #ocaml
Anarchos has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Serpent7776 has quit [Ping timeout: 252 seconds]
dhil has quit [Ping timeout: 248 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
humasect has quit [Read error: Connection reset by peer]
humasect has joined #ocaml
chrisz has quit [Quit: leaving]
bartholin has quit [Remote host closed the connection]
gwizon has quit [Ping timeout: 248 seconds]
humasect has quit [Quit: Leaving...]
gwizon has joined #ocaml
<discocaml> <uberpyro181> i remember Parreaux had argued that the benchmarks in the original Perceus paper were bunk: <https://www.reddit.com/r/ProgrammingLanguages/comments/1anyq4j/comment/l5hso5f/?context=3>
<discocaml> <uberpyro181> I think Perceus is interesting, but I'm skeptical of its usefulness outside of real-time systems
<discocaml> <uberpyro181> in particular, i'm skeptical of garbage-free reference counting going head-to-head with GC
agentcasey has joined #ocaml