GATE CS 2003 Q24 — Programming in C

The correct option is C.

Here is the analysis of the statements:

• Option C (FALSE): In dynamically typed languages (such as Python or JavaScript), variables do have types at runtime. The type of a variable is dynamic and is determined by the type of the value currently bound to it. Therefore, stating that "variables have no types" is incorrect.
• Option A (TRUE): In statically typed languages (like C or Java), the type of each variable is declared and fixed at compile-time.
• Option B (TRUE): In purely untyped languages (like assembly language), there is no concept of types; values are simply raw bit patterns without any type annotations or distinctions.
• Option D (TRUE): In traditional, non-polymorphic statically typed languages, a variable is strictly bound to a single type and can only hold values of that specific type throughout execution.