Which of the following best describes a strongly typed programming language?
-
A
A language that requires explicit type declarations for all variables
-
B
A language that enforces type constraints and restricts implicit type conversions
-
C
A language that compiles exclusively to native machine code
-
D
A language that uses only integer and floating-point types