DVDs (and Blu-Rays), and their players, are region-locked, meaning that you can't play discs coded for a different region on your region-locked player, but why?

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...