Концепт абстрактного языка разработки Рафинад

@Mikhaylo · Регистрация: 20.09.2014

Студворк — интернет-сервис помощи студентам

Классические языки программирования (ЯП) обладают высокой (100%-ой) строгостью (конкретностью): текст программы на этих языках в конечном итоге исполняется так, как написан исходный код программы. Это свойство строгости (конкретности) я противопоставляю абстрактности языка разработки (ЯР).
ЯП нужен для программирования, ЯР нужен для разработки. При этом программирование является составной частью разработки, а строгость (конкретность) является частным случаем абстрактности (когда абстрактность нулевая). Пока не торопитесь догадаться, для чего нужен ЯР, ниже будет рассказано. Иначе вы подумаете, что ЯР нужен для создания новых ЯП. Нет, не для этого.

ЯР дополняет ЯП при работе с кодом. Задумывались ли вы, что мы видим, глядя на листинг программы, написанной на одном из ЯП? Ответ "мы видим текст программы на ЯП" не совсем верен. Я хотел бы более точный ответ. Ответ такой: мы видим часть листинга программы с языковой подсветкой, отступами, комментариями и т.п. Целиком листинг программы не влазит на экран, тем более наш мозг не готов переработать такой объем информации. Мы специально пишем код так, чтобы повысить cohesion кода в пределах той части, которая влазит на экран. Когда мы видим на экране часть кода, мы условно абстрагируемся от остальной части кода, как будто его нет. Мы специально оставляем две пустые строчки между телами функций, чтобы нам было легче абстрагироваться. У нас используется целый комплекс методов, чтобы вместо всего листинга разглядывать лишь его часть. Это позволяет нам сложное делать простым, это ускоряет/облегчает разработку. Разделяй и властвуй!

Я придумал концепт языка, который поддержит абстрагирование. Итак, если ЯП нужен, чтобы компилятор прошелся по исходному коду сверху вниз и сгенерировал исполняемый файл, то ЯР нужен разработчику, чтобы абстрагироваться. Разработчик будет работать с ЯР, а не с ЯП.

Зачем нужен ЯР, если у разработчика уже есть целый набор инструментов и методов для абстрагирования? Четкие правила ЯР позволят среде разработки (IDE) автоматизировать процесс трансляции ЯП в ЯР и обратно.

Как же у абстрактного языка могут быть четкие правила? Чтобы понять это, предлагаю ознакомиться с правилами абстрактного языка Рафинад. Рафинад [фр. raffinade, букв. очищенный] строится на базе любого ЯП. Согласно теории ЯП программа на текстовых ЯП представляет собой цепочки символов. Мы же в рамках абстрактного языка введем понятие абстрактной цепочки символов.

Абстрактная цепочка символов - это цепочка символов, в которой часть символов неопределена (сокрыта). В принципе с одним этим определением можно сообразить и вывести все правила языка Рафинад. Но я чувствую, что потребуется демонстрация правил языка и самое главное примеры! Но это позже, мне пора на работу. )

@Mikhaylo · 05.01.2022, 11:02 **[ТС]**

XYUD - это модуль IDE, который скрывает части кода автоматически по правилам абстрактного языка.

@vantfiles · 05.01.2022, 11:06

Сообщение от Mikhaylo

К этим границам привязано имя функции

Lua
1
2
3
4
5
6
7
8
9
10
11
12
f = {
  [1] = function() x = x + 1 end
  [2] = function() x = x - 1 end
}
 
-- много кода
 
plus = f[1]
minus = f[2]
 
plus()
minus()

Алексей1153 · 05.01.2022, 11:08

Сообщение от Mikhaylo

скрывает части кода автоматически

это было бы очень неудобно

@vantfiles · 05.01.2022, 12:06

ps: какие языки были взяты в рассмотрение? Forth сумеете рафинировать?

Добавлено через 56 минут

Сообщение от Mikhaylo

XYUD

NSWE как вариант

Добавлено через 36 секунд
...а то первые три буквы очень знакомо выглядят

@Катафалк · 05.01.2022, 13:07

Сообщение от Mikhaylo

XYUD - это модуль IDE, который скрывает части кода автоматически по правилам абстрактного языка.

Мутненько. Ваш абстрактные языки строятся на основе обычных языков, т.е. типа их расширения? Т.е. например, пишу я на си и на плюсах, хочу ваш модуль заюзать. Мне нужно писать получается на неких "абстрактном си" и "абстрактном си++", чтобы это все заработало?

@wer1 · 06.01.2022, 09:36

Сообщение от Mikhaylo

XYUD - это модуль IDE, который скрывает части кода автоматически по правилам абстрактного языка.

Это конечно классная вещь, хотя я для подобных целей могу ввести процедуру, которая и заменит весь "лишний" при программировании код...

примечание:
мне хотелось бы узнать вот ещё что:
Есть ли (в языках программирования) возможность просмотреть арифметическое выражение в том виде, как это делается в математике. То есть не в одну строку, а типа так: $https://www.cyberforum.ru/cgi-bin/latex.cgi?y=\frac{x}{\sqrt{x}+\sin x}$
Такая запись более читабельна и понятна и кроме того помогает быстро выявлять ошибки...

@Mikhaylo · 06.01.2022, 16:04 **[ТС]**

Сообщение от Алексей1153

это было бы очень неудобно

Неудобно то, что сложная система представляется просто?)

Добавлено через 2 минуты

Сообщение от Катафалк

Мутненько. Ваш абстрактные языки строятся на основе обычных языков, т.е. типа их расширения? Т.е. например, пишу я на си и на плюсах, хочу ваш модуль заюзать. Мне нужно писать получается на неких "абстрактном си" и "абстрактном си++", чтобы это все заработало?

То есть для вас С++ и джава - это норм и кайф, все остальное бред.

Алексей1153 · 06.01.2022, 16:04

Mikhaylo, любая автоматика с текстом от IDE доставляет неудобства (кроме автоотступов при переводе строки)

а сложность так не уменьшить, для этого нужен рефакторинг

@Mikhaylo · 06.01.2022, 16:18 **[ТС]**

Сообщение от vantfiles

ps: какие языки были взяты в рассмотрение? Forth сумеете рафинировать?

Не сумею, так как язык не знаю. А есть ли смысл? Рафинирование предполагает представление в нативном для человека виде. А язык Forth, я так понял, сделан извращенцев... Но чисто теоретически интересно.

Сообщение от vantfiles

NSWE как вариант

...а то первые три буквы очень знакомо выглядят

У меня не стоит вопрос дать всему красивое имя. Может звучало бы лучше как "2D-навигатор".

Добавлено через 6 минут

Сообщение от Алексей1153

а сложность так не уменьшить, для этого нужен рефакторинг

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

Алексей1153 · 06.01.2022, 16:49

Сообщение от Mikhaylo

Я разве зря

да

общее упрощение всегда делается за счёт концентрации сложности где-то в одном месте. Простым сворачиванием сложность не уменьшить, а машина пока что не умеет писать код за человека

@Mikhaylo · 06.01.2022, 17:13 **[ТС]**

Сообщение от Алексей1153

Простым сворачиванием сложность не уменьшить

Где логика? Вы сейчас рассуждаете чувствами, непрагматично.
Вы сами применяете абстрагирование (сокрытие) на практике, а сейчас мне говорите такое...)

@vantfiles · 06.01.2022, 18:26

Сообщение от Mikhaylo

Не сумею, так как язык не знаю.

Сообщение от Mikhaylo

язык Forth, я так понял, сделан извращенцев...

«Не читал, но осуждаю»

Основное его свойство - "Поддерживает механизмы метарасширения семантики и синтаксиса языка для адаптации к нужной предметной области."
Понадобилось почти 30 лет, для переизобретения DDD. Кстати, когда все восхищались ВМ Джавы, мне было скучно, потому что ничего нового.

Я не случайно задал вопрос про Форт. На метаязыках Ваш концепт, боюсь, даст петуха.

Добавлено через 17 минут
Вообще, от всего этого текста у меня четкое ощущение:

Равич Марина Сергеевна, 27 лет, по образованию ветеринарный врач, ныне – консультант Ленинградского завода эмбриосистем, Лозаннской мастерской по реализации П-абстракций, Белградского института ламинарной позитроники и главного архитектора Якутского региона. Скромная, очень застенчивая и грустная женщина. Обладает уникальной и пока не объясненной способностью (этой способности еще даже не успели дать научное название). Если перед нею ставят четко сформулированную и понятную ей проблему, она принимается решать ее с азартом и с удовольствием, но в результате, совершенно помимо своей воли, получает решение иной проблемы, ничего общего с поставленной не имеющей, выходящей, как правило, за пределы ее профессиональных интересов. Поставленная проблема действует на ее сознание как катализатор для разрешения какой-либо иной проблемы, с которой она когда-то либо бегло ознакомилась по публикации в научно-популярном журнале, либо случайно услыхав разговор специалистов. Определить заранее, какую именно проблему она решит, видимо, невозможно в принципе: здесь действует нечто вроде классического принципа неопределенности в физике.

Алексей1153 · 06.01.2022, 19:29

Mikhaylo, тебе нужно отбросить фантазии и попробовать писать код самому. Многие вопросы отпадут

@Катафалк · 06.01.2022, 19:43

Не по теме:

Сообщение от Алексей1153

Mikhaylo, тебе нужно отбросить фантазии и попробовать писать код самому. Многие вопросы отпадут

Кликните здесь для просмотра всего текста

Ученые решили доказать, что обезьяны обладают разумом. Поставили
эксперимент: высоко на дереве повесили банан, а вокруг разбросали
деревянные ящики и палки.
Запустили обезьяну. Она увидела банан и стала прыгать, пытаясь его
достать. Ничего не получалось.
Ученые говорят:
- Думай, Микки, думай!
Обезьяна стала трясти дерево.
- Думай, Микки, думай!
Обезьяна стала пробовать сбить банан палкой, по они оказались короткими.
- Думай, Микки, думай!
Тогда обезьяна начала ставить ящики друг на друга и самой длинной палкой
наконец сбила банан.
Оппоненты стали заявлять, что это рефлекс, а не разум. Решили позвать
водопроводчика дядю Васю и повторить эксперимент. Он зашел, увидел банан
и стал прыгать.
- Думай Вася, думай!
Тогда Вася стал трясти дерево.
- Думай Вася, думай!
Но Вася продолжал трясти дерево:
- Че тут думать! Трясти надо!

@Mikhaylo · 06.01.2022, 19:58 **[ТС]**

Сообщение от Алексей1153

Mikhaylo, тебе нужно отбросить фантазии и попробовать писать код самому. Многие вопросы отпадут

Нее, моя стезя немного другая...)))

@vantfiles · 06.01.2022, 20:37

Не по теме:

- Всё же музицировать меня тянуло всегда. Пожалуй, сольфеджио - вот моя стезя всенепременно. Это как нельзя лучше отражает мой одухотворённый внутренний мир, воистину!
- Петрович, за***л трындеть, держи пианину ровнее!

@Mikhaylo · 06.01.2022, 21:44 **[ТС]**

У меня есть еще идея расширенного применения абстрактного языка: применять его не только для рафинирования исходного кода, но и для составления абстрактных описаний окружения кода. Под окружением кода я понимаю ту среду, в которой эксплуатируется программа (операционная система, железо, библиотеки функций и даже пользователи программы). Под абстрактным описанием следует понимать неполное (сжатое) описание, выражающее главную суть.

Например, мы можем написать такое (образно!):
Ошибка_деления_на_ноль = abstract(operator /)
Ошибка_Файл_не_найден = abstract(System.FileRead())

Abstract - это ключевое слово языка Рафинад, один из символов неопределенности, наравне с многоточием (...). Ключевое слово abstract заменяет абстрактное имя переменной, функции, объекта, класса, типа данных и т.п.
Например, мы можем написать:

Code
1
abstract abstract = abstract(abstract abstract, abstract abstract);

Эта запись говорит о том, что имеется некоторая функция, принимающая два аргумента каких-то типов данных и возвращающая результат в виде значения некоего типа. То, что я написал русским языком, то и записано на языке Рафинад (С-подобный диалект).
Вместо ключевого слова abstract можно использовать многоточие (...). Это синтаксический сахар.

Возвращаемся к нашим абстрактным описаниям: абстрактные функции - это указание на наличие некоторой зависимости. Мы можем дать некоторое имя этой зависимости, можем раскрыть часть кода функции или полность скрыть ее тело. Если описать несколько абстрактных функций, то образуется некий граф зависимостей. Благодаря такому описанию IDE сможет получить расширенный набор переменных, выходящих за пределы исходного кода и при этом обнаруживать зависимости. XYUD-навигатор сможет манипулировать терминами предметной области, а не только переменными и функциями в исходном коде.

В двух примерах выше было указано, в каких случаях возникают ошибки. Начинающий программист находит ошибку (благодаря наличию абстрактного описания), например, Ошибка_Файл_не_найден и "дергает ниточку" с помощью XYUD-навигатора и в коде подсвечиваются все вызовы функции System.FileRead().

Как-то так. Это все кажется сложным, непонятным и даже ненужным. Но именно такими свойствами должен обладать язык разработки. Я просто описываю язык так, как он сейчас эмулируется нашими нейронными сетями. Мы не работаем с исходным кодом ЯП непосредственно, мы постоянно абстрагируемся, используя многоэшелонные приемы, включая мысленное абстрагирование.

Просто работает девиз: долой ЯП, да здравствует ЯР!

@vantfiles · 06.01.2022, 21:55

Сообщение от Mikhaylo

abstract abstract = abstract(abstract abstract, abstract abstract);

БНФ почти один-в-один

Добавлено через 2 минуты

Сообщение от Mikhaylo

Это все кажется сложным, непонятным и даже ненужным.

„Если вы учёный, квантовый физик, и не можете в двух словах объяснить пятилетнему ребёнку, чем вы занимаетесь, — вы шарлатан.“ — Ричард Фейнман

@Mikhaylo · 07.01.2022, 08:12 **[ТС]**

Так форма Бэкуса-Наура универсальная, под нее все подходит. В моем случае важно правило:
<символ_неопределенности> := перечисление всех допустимых лексем
Ну и еще правило сворачивания соседних символов неопределенности...

Добавлено через 4 минуты
Рекурсивное правило, примерно так:

<символ_неопределенности> := перечисление всех допустимых лексем | <символ_неопределенности>

@CoderHuligan · 08.01.2022, 16:54

Сообщение от Mikhaylo

Просто работает девиз: долой ЯП, да здравствует ЯР!

Без ЯП вы не реализуете ЯР.

Новые блоги и статьи Все статьи Все блоги /
Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .	Генератор паролей (вариант №4) Maks 01.11.2026 После публикации 3-го варианта генератора паролей, разослал его своим коллегам (с целью оценки), в итоге были получены следующие рекомендации: 1. Вернуть возможность использования знаков \| 1 l I;. . .
Генератор паролей (вариант №3) Maks 30.10.2026 Финальная версия генератора паролей 1С. Доработка решения в этот раз коснулась только визуальной части, а именно, добавлен реквизит ДопПараметры (тип Булево), который скрывает/ отображает реквизиты:. . .	Магическое мышление и магия, современная наука не отличима от магии (говорит ИИ Джемени) zorxor 30.10.2026 Джемени, расскажи, пожалуйста, что такое магическое мышление, что такое магия, почему современная наука чем-то напоминает магию? Фраза «Любая достаточно развитая технология неотличима от магии». . .	За какое время ИИ может подобрать пароль по хешу (рассказывает Джемени ИИ) zorxor 30.10.2026 Расскажи, Джемени, если известен хэш МД5, например, за сколько ИИ сможет подобрать соответствующий пароль? Искусственный интеллект (ИИ) может подобрать простой или средний по сложности пароль по. . .	Кто убил Suno? Почему наше солнышко погасло? (диалог с ИИ Джемени) zorxor 30.10.2026 Как убивали Suno. Хронология. «Убийство» музыкальной нейросети Suno — это затяжной процесс, в котором технологический хайп стартапа разбился о жесткую реальность судебных исков от гигантов. . .

@Mikhaylo 822 / 581 / 75 Регистрация: 20.09.2014 Сообщений: 3,828

	Концепт абстрактного языка разработки Рафинад 29.12.2021, 06:41. Показов 5428. Ответов 50 Метки refinade (Все метки) Классические языки программирования (ЯП) обладают высокой (100%-ой) строгостью (конкретностью): текст программы на этих языках в конечном итоге исполняется так, как написан исходный код программы. Это свойство строгости (конкретности) я противопоставляю абстрактности языка разработки (ЯР). ЯП нужен для программирования, ЯР нужен для разработки. При этом программирование является составной частью разработки, а строгость (конкретность) является частным случаем абстрактности (когда абстрактность нулевая). Пока не торопитесь догадаться, для чего нужен ЯР, ниже будет рассказано. Иначе вы подумаете, что ЯР нужен для создания новых ЯП. Нет, не для этого. ЯР дополняет ЯП при работе с кодом. Задумывались ли вы, что мы видим, глядя на листинг программы, написанной на одном из ЯП? Ответ "мы видим текст программы на ЯП" не совсем верен. Я хотел бы более точный ответ. Ответ такой: мы видим часть листинга программы с языковой подсветкой, отступами, комментариями и т.п. Целиком листинг программы не влазит на экран, тем более наш мозг не готов переработать такой объем информации. Мы специально пишем код так, чтобы повысить cohesion кода в пределах той части, которая влазит на экран. Когда мы видим на экране часть кода, мы условно абстрагируемся от остальной части кода, как будто его нет. Мы специально оставляем две пустые строчки между телами функций, чтобы нам было легче абстрагироваться. У нас используется целый комплекс методов, чтобы вместо всего листинга разглядывать лишь его часть. Это позволяет нам сложное делать простым, это ускоряет/облегчает разработку. Разделяй и властвуй! Я придумал концепт языка, который поддержит абстрагирование. Итак, если ЯП нужен, чтобы компилятор прошелся по исходному коду сверху вниз и сгенерировал исполняемый файл, то ЯР нужен разработчику, чтобы абстрагироваться. Разработчик будет работать с ЯР, а не с ЯП. Зачем нужен ЯР, если у разработчика уже есть целый набор инструментов и методов для абстрагирования? Четкие правила ЯР позволят среде разработки (IDE) автоматизировать процесс трансляции ЯП в ЯР и обратно. Как же у абстрактного языка могут быть четкие правила? Чтобы понять это, предлагаю ознакомиться с правилами абстрактного языка Рафинад. Рафинад [фр. raffinade, букв. очищенный] строится на базе любого ЯП. Согласно теории ЯП программа на текстовых ЯП представляет собой цепочки символов. Мы же в рамках абстрактного языка введем понятие абстрактной цепочки символов. Абстрактная цепочка символов - это цепочка символов, в которой часть символов неопределена (сокрыта). В принципе с одним этим определением можно сообразить и вывести все правила языка Рафинад. Но я чувствую, что потребуется демонстрация правил языка и самое главное примеры! Но это позже, мне пора на работу. ) 0

@Mikhaylo 822 / 581 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	05.01.2022, 11:02 [ТС]
	XYUD - это модуль IDE, который скрывает части кода автоматически по правилам абстрактного языка. 1

Алексей1153 фрилансер 6510 / 5772 / 1135 Регистрация: 11.10.2019 Сообщений: 15,419
	06.01.2022, 16:04
	Mikhaylo, любая автоматика с текстом от IDE доставляет неудобства (кроме автоотступов при переводе строки) а сложность так не уменьшить, для этого нужен рефакторинг 0

Алексей1153 фрилансер 6510 / 5772 / 1135 Регистрация: 11.10.2019 Сообщений: 15,419
	06.01.2022, 19:29
	Mikhaylo, тебе нужно отбросить фантазии и попробовать писать код самому. Многие вопросы отпадут 0

@vantfiles
	06.01.2022, 20:37
	Не по теме: - Всё же музицировать меня тянуло всегда. Пожалуй, сольфеджио - вот моя стезя всенепременно. Это как нельзя лучше отражает мой одухотворённый внутренний мир, воистину! - Петрович, за***л трындеть, держи пианину ровнее! 0

@Mikhaylo 822 / 581 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	07.01.2022, 08:12 [ТС]
	Так форма Бэкуса-Наура универсальная, под нее все подходит. В моем случае важно правило: <символ_неопределенности> := перечисление всех допустимых лексем Ну и еще правило сворачивания соседних символов неопределенности... Добавлено через 4 минуты Рекурсивное правило, примерно так: <символ_неопределенности> := перечисление всех допустимых лексем \| <символ_неопределенности> 0