The usual way to do it is to define a restricted subset of the language that has explicit memory management and is statically typed, and implement GC with that.

The usual way to do it is to define a restricted subset of the language that has explicit memory management and is statically typed, and implement GC with that. For example, Pre-Scheme and RPython. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.4031 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.40... https://en.wikipedia.org/wiki/PyPy#RPython https://en.wikipedia.org/wiki/PyPy#RPython