Before we can continue the discussion of physical representation of either/or data, we need to discuss the idea of erasure. In computer science you most often hear about the “type erasure”. If you write a program in the programming language with stronger compile-time type checking, the resulting program would often contain no type information (it is erased).