LISPisms

In dynamically typed languages, values have types. In statically typed languages, values have types.

When you use imperative languages, you tell the computer what to do. When you use functional languages, you tell the computer what to do.

>>2

See: SQL, Haskell

Throw Prolog in there, too. That language shits itself if you don't micromanage every decision it has to make. Declarative, my ass!