MCQ IN COMPUTER SCIENCE & ENGINEERING

Detailed explanation-1: -An implementation of a language is strongly typed if a compiler guarantees that the programs it accepts will run without type errors. Besides their use for compiling, ideas from type checking have been used to improve the security of systems that allow software modules to be imported and executed.

Detailed explanation-2: -In computer programming, a programming language is strongly typed if it demands the specification of data types. A programming language is loosely typed, or weakly typed, when it does not require the explicit specification of different types of objects and variables.

Detailed explanation-3: -Generally, a strongly typed language has stricter typing rules at compile time, which implies that errors and exceptions are more likely to happen during compilation. Most of these rules affect variable assignment, function return values, procedure arguments and function calling.

Detailed explanation-4: -A programming language is considered ‘strongly typed’ if and only if all type errors are detected statically by the compiler. Most modern programming languages use dynamic scoping for functions. Languages with static typing do not allow user-defined types.

Detailed explanation-5: -"Type Safe” means that there’s no casting involved and no run-time type errors can occur. Some people argue that “Strongly Typed” mean nothing, or “it’s good", or “i’m comfortable with it". Anyway, “Type Safe” relates to a portion of code or API, when “Strongly Typed” refers to a whole language or platform.