The author of the paper doesn't mean that the concept of linear types will change the world, but states that linear types combined with functional languages wil

The author of the paper doesn't mean that the concept of linear types will change the world, but states that linear types combined with functional languages will be able to interact with and change the real world (I/O, graphics, etc). This is because functional languages have a hard time representing these concepts, and have alternate workarounds (monads).