00:05 <d_bot> <EduardoRFS> But yeah after thinking I can see that there is an heuristic needed, I would say it's almost always worth it for functions that don't allocate.

00:06 <d_bot> <EduardoRFS> and then we go back to scores ;/

00:31 <brettgilio> https://www.fstar-lang.org/papers/indexedeffects/

06:29 <d_bot> <Lupus> probably the point is that after `a1` is used in `f1 a1` - it is no longer needed and can be garbage collected right away while it's on the minor heap (while debugging some ctypes memory issues with GC I was a bit surprised with this behavior as this really happens), and an attempt to reuse it instead of recomputing for `a2` with suggested optimization will result in expensive escape to major heap and overall increase of memory foo

06:29 <d_bot> <Lupus> I assume that's what @Drup meant

15:10 <jcob> Hi everyone! Here just for a recommendation. Anybody know of any good communities for parsing and compiler construction?

15:17 <Corbin> jcob: Here on Libera, #proglangdesign is decent. #esolangs is good to know about too.

15:17 <Corbin> The papers at https://nanopass.org/ are quite interesting, if you've already taken a course in compilers/translators.

15:19 <jcob> Oh dang! Thanks

15:57 <d_bot> <carmysilna> https://discord.gg/6phKEjDy is great if you're on discord

19:47 <d_bot> <mweichert> What's the best JSON library for OCaml these days?

19:49 <smondet[m]> I'd say Jsonm and Ezjsonm

20:09 <d_bot> <Alistair> Anyone got good resources for type inference of GADTs?