I know some research languages are playing around with linear types, I wonder if we'll see it show up in some language or another.