complexity - type-checking - reduction

A computer science example of the inability to reduce complexity past a certain point. Types are the way computer knows how to handle a variable. Compilers are better than byte code-interpreted. Explicit is better than hidden changes.