Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

That is essentially what region inference in the MLKit compiler does. http://www.elsman.com/mlkit/

It has some unexpected properties: it can sometimes produce dangling pointers because it knows the target data will never be used, even though a GC would treat it as live. And on the other hand it will often promote data to an excessively long-lived region (because region lifetimes have to be nested). So current versions of the MLKit use GC as well as region inference.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: