I don't think it's been integrated in any mainstream language though.

Experimental and of course one can debate whether Haskell is mainstream but I figured it merits a mention.

I think by default Rust uses affine types, but that's about the extent of it.

	▲	NeutralForest 4 hours ago \| parent [-]
		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.