Инструменты, алгоритмы и структуры данных

Когда мы говорим, что язык программирования является языком со статической типизацией, то это означает:

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

при объявлении каждой сущности задается ее тип(Верный ответ)

для каждого вызова x.f(p) тип сущности x компилятор определить не может, поскольку он определяется контекстом вызова, но тип может определить исполнительная система динамически в момент выполнения

для каждого вызова x.f(p) компилятор может определить тип сущности x, но он не может определить, обладает ли тип методом f

для каждого вызова x.f(p) тип сущности x компилятор определить может, он может также определить, обладает ли тип методом f, но он не может определить, соответствуют ли по типу фактические аргументы вызова формальным аргументам метода f

для каждого вызова x.f(p) компилятор может определитьтип сущности x(Верный ответ)

Похожие вопросы

За 55 лет, прошедших с момента появления первого языка программирования, создано большое число языков, точного числа которых никто не знает. Языки программирования могут отличаться по многим критериям. Укажите критерий, который не применяется при сравнении языков программирования?

За 55 лет, прошедших с момента появления первого языка программирования, создано большое число языков, точного числа которых никто не знает. Языки программирования могут отличаться по многим критериям. Укажите критерии, которые применяются при сравнении языков программирования?

Какое из высказываний является некорректным по отношению к понятиям языка программирования и его грамматики?

Какие утверждения о стиле программирования характерны для современных языков программирования?

Историю программирования и людей, создававших эту историю, следует знать. Кто руководил разработкой по созданию первого признанного языка программирования Fortran и компилятора для него?

Рассмотрим язык программирования с двумя операторами - присваивания и цикла. Присваивание рассматривается в классическом варианте variable := expression и считается терминальным, не определяемым далее понятием. Грамматика языка такова:

$\text{Оператор }\triangleq\text{ Присваивание | Цикл}\\ \text{Цикл }\triangleq \text{ until (Условие) Оператор}$

Какие утверждения являются справедливыми относительно правил этой грамматики?

Укажите свойства, характерные для функционального стиля программирования?

Укажите свойства, характерные для процедурного стиля программирования?

Какие утверждения справедливы для синтаксиса реальных языков программирования?

Какие высказывания являются корректными по отношению к понятию грамматики языка программирования?