Исходное сообщение
"Открыт код Sorbet, системы статической проверки типов для Ru..." Отправлено Ordu, 22-Июн-19 17:30
В некотором смысле, это уже динамическая типизация, потому что если мы работаем с SomeMessage в коде, то статически мы не знаем какого типа этот объект. Это не совсем-совсем динамическая типизация, потому что что-то о его типе мы знаем, в конце-концов SomeMessage -- это уже тип. Но и всё же, мы приходим к динамическому диспатчу, вероятно, ещё и к dynamic_cast. А dynamic_cast -- это уже стопроцентов динамическая типизация.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> В некотором смысле, это уже динамическая типизация, потому что если мы работаем > с SomeMessage в коде, то статически мы не знаем какого типа > этот объект. Это не совсем-совсем динамическая типизация, потому что что-то о > его типе мы знаем, в конце-концов SomeMessage -- это уже тип. > Но и всё же, мы приходим к динамическому диспатчу, вероятно, ещё > и к dynamic_cast. А dynamic_cast -- это уже стопроцентов динамическая типизация.
	Введите код, изображенный на картинке: