Why Types?

        eels  ≡  1.87292264408661e+31  ≡  1,936,483,685

We'd like to prevent this error from occurring.

Idea:

• Variables have types (integer, character, float, etc.)

• Operations have types

• Compiler / assembler can check that types match