Are you aware of any existing languages that implement this technique? This seems like a possibility that research languages could explore if it doesn't exist

Are you aware of any existing languages that implement this technique? This seems like a possibility that research languages could explore if it doesn't exist already.