In a strongly typed programming language,the set of legal programs is a proper subset of the set of safe programs.

Question

Quizplus · Accepted Answer

In a strongly typed programming language, the type of each variable and expression used in the program is checked by the compiler at compile time. This ensures that the program is well-formed and meets the language's type safety rules. However, even if a program passes the type checker, it may still have logical errors or other issues that make it unsafe to execute. Therefore, the set of legal programs that satisfy the language's syntax and type rules is a proper subset of the set of safe programs that are free from errors and other issues that could cause problems at runtime.

In a Strongly Typed Programming Language,the Set of Legal Programs