<qwr>
pure region inference has also problem where some regions can collect lot of garbage before being freed, so it is probably necessary to combine it with some form of gc
<qwr>
it might performant with combination of some form of deferred refcounting
<Armael>
olle: I'd recommend emailing the author
<d_bot>
<froyo> olle: Aren't they publicly funded? Why the pay wall?
<d_bot>
<froyo>
<d_bot>
<froyo> because academic publishers are worse humans than politicians
<Armael>
academic publishers are crap but actual researchers are usually very happy to share the pdf
<qwr>
but i think it is not much used due the combined complexity of regions + gc
<bacam>
I didn't realise any of them were still working on it.
<bacam>
d_bot: Yes, that's the one I was thinking of.
sbad has quit [Ping timeout: 258 seconds]
<olle>
bacam: hm
<olle>
Armael: Oh yeah, maybe I'll try that :)
<bacam>
Ah, there's a recent JFP paper too which really doesn't appear to be freely available (although JFP should be changing soon, at least for new work). If you want that I suggest contacting one of the authors.
<Armael>
olle: you have the pdf link above though
<Armael>
it's available on google scholar indeed
<olle>
Armael: which one? not the retrospective, that's from 2004
<Armael>
but yeah contacting authors is the universal recipe :-)
<Armael>
ha
<olle>
11:13 < olle> No free PDF found for "On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML"
<olle>
Or google is shit for showing only pay walls at top ><
tjammer[m] has joined #ocaml
murgy has quit [Quit: Ping timeout (120 seconds)]
murgy has joined #ocaml
murgy has quit [Quit: Connection closed]
<olle>
Hey, you don't need to box anything for regions. That's cool.
zebrag has joined #ocaml
mfp has joined #ocaml
mro_name has quit [Remote host closed the connection]
mro_name has joined #ocaml
mro_name has quit [Ping timeout: 250 seconds]
mro_name has joined #ocaml
johnelse has quit [Ping timeout: 252 seconds]
mro_name has quit [Remote host closed the connection]
johnelse has joined #ocaml
mro_name has joined #ocaml
mro_name has quit [Read error: Connection reset by peer]
mro_name has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
curtosis has joined #ocaml
emias has quit [Ping timeout: 246 seconds]
Vyom has joined #ocaml
<Vyom>
Hello
emias has joined #ocaml
Vyom has quit [Quit: Connection closed]
Vyom has joined #ocaml
<osa1>
what's wrong with this type synonym? type y = [< `A of int | `B of int ];;
Vyom has quit [Client Quit]
waleee-cl has joined #ocaml
<octachron>
There is an unbound row type variables hidden in the `<`
Vyomk17 has joined #ocaml
Vyomk17 has quit [Client Quit]
<octachron>
`[< `A of int | `B of int ]` is not a single type but a constrained familly of types.
averell has quit [Quit: .]
Haudegen has joined #ocaml
<d_bot>
<joris> ```ocaml
<d_bot>
<joris> type 'a y = 'a constraint 'a = [< `A | `B ]
<d_bot>
<joris>
<d_bot>
<joris> type 'a y = [< `A | `B] as 'a
<d_bot>
<joris> ```
<Enjolras>
meh that is terribly ugly, sorry, i thought the bot would at least interpret and strip the codeblock
<osa1>
octachron: thanks. If I have `type y = [ ... ]` (without > or <), how do I make a term with type y? I tried let x : y = `A int" but no luck
<octachron>
That should work?
<osa1>
huh, you're right
<osa1>
I don't know what I did wrong when I tried this in utop before
averell has joined #ocaml
muge has joined #ocaml
<dieggsy>
what exactly does d_bot do
curtosis has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
<octachron>
It bridges this channel with the OCaml discord server
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
shawnw has quit [Ping timeout: 260 seconds]
gopiandcode has quit [Read error: Connection reset by peer]
sz0 has joined #ocaml
<dieggsy>
Ah
Erine has joined #ocaml
Shreya has joined #ocaml
sadaffateema177 has joined #ocaml
Tuplanolla has joined #ocaml
sadaffateema177 has quit [Client Quit]
olle has quit [Ping timeout: 265 seconds]
johnelse has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
Shreya has quit [Ping timeout: 250 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
<d_bot>
<EduardoRFS> we're humans
<d_bot>
<antron> *beep beep boop*
<companion_cube>
oh hey o/ @antron
<d_bot>
<antron> hey! i just fell into a trap. after failing the turing test by beeping, i searched for r2-d2 sounds and i just found out people train their parrots to mimic t2-d2. <https://www.youtube.com/watch?v=SLxKciFXzsA> this is completely off-topic so i won't continue here, but wow 🙂
<d_bot>
<Armael> 🤖 🦜
<companion_cube>
next library will be named "parrot", noted
sz0 has quit [Ping timeout: 258 seconds]
adrianbrink has quit [Ping timeout: 246 seconds]
terabit has quit [Ping timeout: 246 seconds]
b20n has quit [Ping timeout: 246 seconds]
SrPx has quit [Ping timeout: 258 seconds]
cemerick has quit [Read error: Connection reset by peer]
adrianbrink has joined #ocaml
b20n has joined #ocaml
cemerick has joined #ocaml
sz0 has joined #ocaml
terabit has joined #ocaml
SrPx has joined #ocaml
hackyhacker has joined #ocaml
<hackyhacker>
Hello, is Menhir the goto parsing library for ocaml?
<hackyhacker>
The new syntax is really confusing to me
<octachron>
Yes. The new syntax is still kind of experimental? It might make sense to familiarize yourself with the old syntax as a first step?
Shreya has joined #ocaml
<hackyhacker>
I've used it for a simple toy project but since I wanted to expand my project with an ast and the calculator-ast demo used the new syntax I thought I should also use it
<hackyhacker>
I've used the old syntax that is
noonien has quit [Ping timeout: 246 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gopiandcode274 has joined #ocaml
nullcone has joined #ocaml
<d_bot>
<EduardoRFS> the new syntax for me feels like OCaml, I'm really inmto it
Shreya has quit [Quit: Leaving]
<hackyhacker>
Yeah I read the examples below the new syntax section and I've got it working! :)
p4bl0 has joined #ocaml
hackyhacker has quit [Quit: Ping timeout (120 seconds)]
<p4bl0>
hello :), I had to upgrade my Debian from stable to testing and the system version of ocaml bumped from 4.05.0 to 4.11.1, and opam is really confused by that
<p4bl0>
is there a way to have opam "redectect" the sytem version of ocaml?