Post #2420322
2026-05-09 23:14 UTC
@joe@f.duriansoftware.com If you want to maintain typing while doing "closure" conversion, then unless I'm missing something you need to add existentials to your IR.
Replies (1)
-
@joe@f.duriansoftware.com 2026-05-13 18:03
@zwarich@hachyderm.io one thought i've had is to see how far you could push the "procedures know their transitive frame size" idea. then you could pre-allocate a slab for your network of closures/coroutines/whatever you can coax arithmetic out of existing linker relocations for cross-object call graphs, so i think the main limitations in doing this would be indirect calls and recursion. the former, maybe the caller provides a slab with the function pointer. the latter, maybe you just require a max depth?