вхождение типа в текст (Type) = Обращ(ение)КТипу
Добавлено: 22.04.21 22:56
Долго думал, как перевести элемент дерева синт. разбора, в который превращается слово цел32 вот в этом куске кода:
В лисокомпиляторе оно называется просто Type и это сбивает с толку, потому что есть как минимум три претендента на это название:
А. Запись о том, что тип цел32 вообще существует, компилятор использует её, например, для проверки, что тип переменной задан правильно
Б. Объявление типа, т.е. то место, где этот тип определён. Для цел32 такого места нет, а для какого-нибудь Reader - это конкретное место в тексте. В компиляторе это называется TypeDeclaration
В. Слово цел32 в данном куске текста, т.е. кусок текста, который обращается к этому типу по его имени.
В лисокомпиляторе вариант (В) назвается Type, но логично было бы назвать этим словом вариант (А). Я думал-думал и ничего не придумал лучше, как называть вариант (В) "обращение к типу". У него есть наследники, например, "обращение к типу запись" и т.п. Поскольку это очень часто встречаемое в компиляторе слово, решился его сократить и получилось ОбращКТипу.
До этого хотел назвать "упоминание типа", но это недостаточно правильно, потому что тип не просто упоминается, а используется для какой-то цели. Можно, кстати, "использование типа", но оно так хорошо не сокращается. Так же был "вызов типа", но это тоже сбивает с толку, потому что тип не исполняется и вызвать в собственном смысле слова его нельзя.
Есть какие-то альтернативные предложения?
У меня, правда, есть подозрение, что на самом деле Type может сочетать в себе (В) и (А). Как минимум, по той причине, что у TypeDeclaration есть поле declaredType, в котором и хранятся данные о том типе, который был определён. Т.е. когда мы пишем
то объект TypeDeclaration будет создан для всего выражения "МойТип = цел32", а вот поле declaredType будет содержать в себе "МойТип", вместе с его определением и в этом случае совокупность из TypeDeclaration и Type в поле declaredType будет выполнять роль (А).
Код: Выделить всё
перем А: цел32;
А. Запись о том, что тип цел32 вообще существует, компилятор использует её, например, для проверки, что тип переменной задан правильно
Б. Объявление типа, т.е. то место, где этот тип определён. Для цел32 такого места нет, а для какого-нибудь Reader - это конкретное место в тексте. В компиляторе это называется TypeDeclaration
В. Слово цел32 в данном куске текста, т.е. кусок текста, который обращается к этому типу по его имени.
В лисокомпиляторе вариант (В) назвается Type, но логично было бы назвать этим словом вариант (А). Я думал-думал и ничего не придумал лучше, как называть вариант (В) "обращение к типу". У него есть наследники, например, "обращение к типу запись" и т.п. Поскольку это очень часто встречаемое в компиляторе слово, решился его сократить и получилось ОбращКТипу.
До этого хотел назвать "упоминание типа", но это недостаточно правильно, потому что тип не просто упоминается, а используется для какой-то цели. Можно, кстати, "использование типа", но оно так хорошо не сокращается. Так же был "вызов типа", но это тоже сбивает с толку, потому что тип не исполняется и вызвать в собственном смысле слова его нельзя.
Есть какие-то альтернативные предложения?
У меня, правда, есть подозрение, что на самом деле Type может сочетать в себе (В) и (А). Как минимум, по той причине, что у TypeDeclaration есть поле declaredType, в котором и хранятся данные о том типе, который был определён. Т.е. когда мы пишем
Код: Выделить всё
тип МойТип = цел32;