I always thought that if you wanted variables to be able to escape the function they were defined in you have to allocate them on the heap and then you need some kind of garbage collection.
You can also have some kind of heapify/free, with undefined behavior if you get it wrong.
I think the C standards committee needs to figure out memory safety before adding any new features that are likely to interact with it.
Are there any implementations of this lambdas proposal on top of any production-quality compilers? Or are there some updates on how this is doing in committee?