zlacker

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

>>Neutra+(OP)
I think by default Rust uses affine types, but that's about the extent of it.

replies(1): >>Neutra+p4

>>Donald+p3
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.

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