"What if we create a language where all object references are explicitly specified to be either request-scoped or application-scoped." I've done this in both C

"What if we create a language where all object references are explicitly specified to be either request-scoped or application-scoped." I've done this in both C and C++. The downside of automatic memory management is you have to accept the decisions the memory manager makes. Still, generational GC like in Ruby and Python essentially attempts to discern the lifetime of allocations, and it gets it right most of the time.