Hacker News Reader

Isn’t it similar to linear types in haskell?

That's basically exactly the same idea, yes.

Haskell didn't invent linear types. Eg Clean had them for ages to do IO. (They didn't use Monads in Clean.)