current reading -- floooh.github.io/2018/06/17/handles-vs-pointers.html
the generation trick is nice, i didn't think of that
@omar https://github.com/akkartik/mu does this. The paper points at the literature as well.
current reading -- floooh.github.io/2018/06/17/handles-vs-pointers.html
the generation trick is nice, i didn't think of that
@omar https://github.com/akkartik/mu does this. The paper points at the literature as well.