Code always has types. Even in dynamic languages. The difference is whether those types can be expressed in the code, or have to be kept completely in your head

Code always has types. Even in dynamic languages. The difference is whether those types can be expressed in the code, or have to be kept completely in your head (or constantly having to re-figure out what they are).