Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
summary
Region-inference plus polymorphism produces a real soundness hole that yields dangling pointers during reference-tracing (and generational) collection; the paper isolates the closure-under-substitution failure and fixes it by associating spous type variables with effect variables in a revised region type-and-effect system. The change is implemented in ML Kit, compiles itself and large programs, removes the observed segfaults in bootstrapping, and shows negligible impact on runtime and compile-time in the reported benchmarks.
AI-written summary · about