OberonCore

На данный момент - так:

Вот тема на ЛОРе, где это обсуждалось

По итогам я решил назвать частями речи. Если у вас есть лучшие идеи, ю аре велком.

Вот она, кириллица всемогущая! Даже отвелкамить можно на ней

(Добрый джойк, если что)

Конечно, я придумал «яролит взад» специально для того, чтобы отомстить за коверканье русского языка коверканьем английского. Юинодюс, Линух, ОберонЦоре.

И кроме того, это просто удобно.
http://вече.программирование-по-русски.рф/viewtopic.php?f=2&t=4

Тоже обсуждалось на ЛОРе. https://www.linux.org.ru/forum/talks/14525807
Мне сразу написали «инжалид дежице» и оказалось, что первый способ коверкать латиницу кириллицей был придуман не позднее, чем вместе с азбукой Морзе (~150 лет назад).

"режимы объекта" не?

"Черепашку\солнышко" на клавиатуре вместо "$" можно уже начинать ожидать снова?

И что такое «режимы объекта»? Насколько я понимаю смысл, они отражают категорию смысла именованного объекта. Т.е. главное - это имя. Объект тут в общем-то, побоку. Что такое объект? 1. Элемент данных в памяти. 2. Тип данных в ООП. И ни один из них нерелевантен к данному перечислению. Здесь объект можно притянуть за уши только потому, что эти сведения сохраняются в символьный файл, но на самом-то деле они широко используются во всём компиляторе. Т.е. именовать их объектом на основании, что они ещё и в символьном файле хранятся, не особо эээ логично.

Вы просите солнца - их есть у меня.


Скорее всего, назову «части речи»

ну вы же просили перевод...

Смотрите: "часть речи" - "существительное"\"прилагательное"\"глагол"\"причастие"\"деепричастие"\"предлог"\"частица" - чётко однородные "сущности".
А в исходнике-примере: и константы, и типы данных, и поле записи, и обработчик прерывний, и три вида процедур, и атрибут - ни фига не однородно-единообразно. imho не "часть речи"


Прям вот с верхней поверхности кнопок клавиатуры? (Alt+"циферки справа" не считются )

Конечно, не точно, а в каком-то приближении.

Глаголы тоже бывают переходные/непереходные. Существительные бывают имена собственные и имена нарицательные и т.п. Т.е. листья (да и ветки тоже) с дерева классификации опали и лежат плоско. Но это не влияет на суть, а только на качество.

Просто нечем больше обозначить. И в культуре я не нашёл, чтобы это как-то называлось. Предлагаются только ad-hoc привязки к общим словам типа "форма", "категория", "вид" (даже предлагали "чин" и "должность"), которые нельзя понять, а можно только запомнить.

Будет реальная альтернатива - будет и повод обсудить качество.


Они туда не нанесены, но я их извлёк именно оттуда. Уже давно пользуюсь, в т.ч. для удобного ввода BBCode в этом самом форуме, вот исходники http://xn-----6kcajervcdvqarhfgengcekya ... %B3%D1%82/ и см. внизу ссылки.

Кстати, в программировании наблюдается какое-то прямо уж мифическое представление "объекта". Это даже заметно в википедии:
https://ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%8A%D0%B5%D0%BA%D1%82

, где есть ссылка на само понятие "объект", есть несколько уточнений по предметкам вида "математический объект", "объект управления" и т.п., и приведено лишь единственное, некое обособленное, определение "объект в программировании" (и именно такая формулировка, видимо, не просто так получилась) -- "некоторая сущность в компьютерном пространстве...".

Объект есть предмет -- "метить пред собою", это любая вещь, предельно общая категория. В чём суть "гениальности" классического лозунга "всё есть объект!" в ООП -- непонятно. При этом во всех прочих сферах моделирование деятельности предполагает два вида объектов -- операции и операнды, или объекты, совершающие работу, и объекты, над которыми совершается работа (предметы труда, транзакты в имитационном моделировании и т.д.). И лишь в ООП (однако, не во всех дисциплинах программирования) это разделение крайне размыто (и, как правило, в формализмах, проверяющих или верифицирующих то, чего наваяли в ООП, вынуждены заниматься переводом на "нормальный" язык).

Можно заглянуть ещё в информатику, поскольку речь о языке программирования, в лингвистику и, прежде всего, в семиотику (которых информатика также изучает).

В языке знак как понятие имеет три базиса (основные):
- имя (как обозначение самой семантической свёртки, напр., "переменная", но, скажем, имя переменной как её идентификатор -- иная категория, о чём далее);
- прямое значение знака -- входной объект знакового процесса -- прообраз, экстенсионал, денотат или дент и т.п.;
- косвенное значение -- модель прообраза (напр., мысленное представление, информация субъекта об объекте) -- содержание, интенсионал, концепт, коннотат или конт и т.п.

Все слова в языке в соответствии с возникающей семантикой и правилами грамматики разделяются глобально на два словаря: термины (формализованные понятия предметной области, образующие глоссарий, тезаурус языка) и нетерминальный словарь (металингвистические знаки) -- грамматические категории -- те же части речи, например. Однако, определение "часть речи" применяется в лингвистике в рамках естественных языков. Представители языковой среды в контексте технологического языка могут позаимствовать образ символа из естественных языков, но, как правило, условное понятие-копия выполняет иную роль, т.е. в технологическом языке возникают иные функции и свойства знака (хотя некоторые частичные аналогии заметить можно. А некоторые знаки-понятия могут и совпадать в некотором базисе, напр., "число", однако "число" как понятие в естественном языке имеет связи с прочими категориями в своём языке, соответственно и в технологическом языке возникают свои иные связи). В технологических языках могут придумать свои классификации грамматических категорий, напр., "правильно построенная формула" и пр. В языках программирования, видимо, создатели не заморачиваются ещё и теоретическими лингвистическими изысками, мол и "object modes" сойдёт -- полно мороки иного, прикладного, плана (т.е. предметного построения языка как средства для программирования).

Какое придумать краткое слово-обозначение для этих "modes" -- не знаю. Некие "виды концептов" -- вроде слишком "низкоуровнево" и предельно обобщённо, нужно какое-то краткое обзывалово грамматических категорий для типового императивного языка программирования.
Или же необходимо лезть за деталями в семиотику/информатику и там что-то выискивать конкретное (я не спец в теориях, в памяти всего не держу, не помню какого-нибудь однозначного варианта).


P.S. Может быть не помешает "обрадовать" и науку в РФ (зачем напрягаться лишь над полумерами, только лишь программирование делать "правильным"), к примеру, потребовать для начала "кириллиза́цию" теоркатегорных представлений, где уже не могут обойтись условно односимвольным обозначением, и возникает, фактически, "математический язык программирования". И для программирования там не мало базиса.

Я имел в виду "косвенное значение -- модель прообраза".

Не считая, что я не знаю теорката, в целом мысль про "математический язык программирования" - хорошая. ИМХО теоркат - это такая же пустая "теория всего", как и идея о том, что "всё есть объект". Может быть, я это от невежества только. Но если теоркат действительно полезен, то да, можно и разработать русскоязычный понятийный аппарат. Поскольку англоязычные понятийные аппараты сплошь мутные, завязанные на конкретного маркетолога или гуру и прочая бяка.