Even dynamically typed languages like CL have type systems. However, CL implementations are under no obligation to statically check that a program is type-safe.

Even dynamically typed languages like CL have type systems. However, CL implementations are under no obligation to statically check that a program is type-safe. Those checks are deferred until run time — hence the author’s complaints.