OberonCore
https://forum.oberoncore.ru/

Сравнение записевых типов
https://forum.oberoncore.ru/viewtopic.php?f=29&t=3050
Страница 1 из 1

Автор:  Роман М. [ Воскресенье, 05 Декабрь, 2010 11:13 ]
Заголовок сообщения:  Сравнение записевых типов

Выделено: viewtopic.php?p=55066#p55066

Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей.
Подразумевается, что каждое определение нового типа задаёт его уникальность. Соответсвенно, сравнение типов также основывается на этом.

Автор:  Евгений Темиргалеев [ Воскресенье, 05 Декабрь, 2010 11:40 ]
Заголовок сообщения:  Re: Oberon-07 базовые типы.

Роман М. писал(а):
Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей.
В КП есть "Appendix A: Definition of Terms". Там, по-моему, уточнение этого вопроса имеется...

Автор:  Info21 [ Воскресенье, 05 Декабрь, 2010 14:22 ]
Заголовок сообщения:  Re: Oberon-07 базовые типы.

Евгений Темиргалеев писал(а):
Роман М. писал(а):
Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей.
В КП есть "Appendix A: Definition of Terms". Там, по-моему, уточнение этого вопроса имеется...
В КП всё достаточно однозначно. Когда переводил, всё понимал. Была бы какая-нибудь хрень -- запомнил бы, студентов учить. Лезть проверять поэтому в лом. Предъявит Роман М. цитату -- посмотрю.

Автор:  Роман М. [ Воскресенье, 05 Декабрь, 2010 15:52 ]
Заголовок сообщения:  Re: Oberon-07 базовые типы.

Действительно, в КП указано про сравнение в приложении А. Почему-то часто забываю, что это также часть сообщения.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/