Same as with variable scope in the language. Every variable is persistent until deleted or released. Such a language would need to manifest transactions (or some other behavior for consistency), but much of it would be handled with existing language concepts.