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

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

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

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

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

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

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

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

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

@Mikhaylo · 09.01.2022, 02:47 **[ТС]**

CoderHuligan, ага.

Девиз направлен на смещение акцента внимания, на ломку сознания.

Не уверен, что прочитавшие мои посты в этой теме сломали себе сознание.

Для этого нужно погрузиться в тему.

@vantfiles · 09.01.2022, 12:59

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

Не уверен, что прочитавшие мои посты в этой теме сломали себе сознание.

Иммунитет.

А по концепту - море воды, в котором если что-то и было - утонуло. Любая статья по парадигмам программирования в вики - и то - короче и понятнее.

@Mikhaylo · 09.01.2022, 15:44 **[ТС]**

Здесь парадигма заключается в том, что разработчик должен видеть только нужное из того, что компилятор обрабатывает последовательно и строго. Более того, разработчик должен видеть еще кое-что (информация для разработки), что не требуется компилятору, но важно для разработки. Таким образом возникает идея разделения одного языка на два - язык программирования (ЯП) + язык разработки (ЯР). Предложена концепция автоматической трансляции текста на ЯП в текст на ЯР, и обратно. IDE играет ключевую роль в автоматической трансляции и автоматическом поддержании заданного уровня абстракции. В такой ситуации ЯП и текст на ЯП уже не представляет особого интереса (сложность ЯП, читаемость текста ЯП и т.п.), можно перевести ЯП в XML-формат для более простого парсинга. Таким образом реализуется девиз "Programming language for computer, development language for human.".

Коротко?

@Mikhaylo · 24.07.2026, 09:10 **[ТС]**

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

а машина пока что не умеет писать код за человека

Привет из будущего

Алексей1153 · 24.07.2026, 12:49

Mikhaylo, привет

Ну, как там, в будущем, уже умеет ?

@Mikhaylo · 24.07.2026, 12:51 **[ТС]**

Мы тут вообще больше не программируем, многие ушли из программирования в доставку.

Алексей1153 · 24.07.2026, 12:55

Mikhaylo, круто. Что доставлять просют ?

@Mikhaylo · 24.07.2026, 12:57 **[ТС]**

Пиццу, роллы и ванильный раф. )

Алексей1153 · 24.07.2026, 12:58

Mikhaylo, а съедобного нет ничо там что ли

@volodin661 · 24.07.2026, 14:15

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

ps: хочу постфиксное расширение:
a = ( 100 )meters + ( 2 )kilo.meters
print a
2100

Perl
1
2
3
4
5
6
7
8
9
sub postfix:<m>($value) {
  $value
}
sub postfix:<km>($value) {
  ($value)m * 1000
}
 
my \a = 100m + 2km;
print a

Output:
2100

( это не Perl, это Raku. в девичестве назывался Perl6 )

@Mikhaylo · 24.07.2026, 14:55 **[ТС]**

Алексей1153, всё уходит на токены.

Новые блоги и статьи Все статьи Все блоги /
Генератор паролей (вариант №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 — это затяжной процесс, в котором технологический хайп стартапа разбился о жесткую реальность судебных исков от гигантов. . .	Генератор паролей (вариант №2) Maks 30.10.2026 Обновленная версия ранее созданной обработки. Добавлены следующие реквизиты типа Булево: - Буквы; - Цифры; - Символы. Изменена логика команды "Сгенерировать" и процедуры "ПриОткрытии":. . .	Генератор паролей (вариант №1) Maks 29.10.2026 Реализация из решения ниже выполнена исключительно по моей инициативе, дабы облегчить себе работу в создании паролей для администрируемых мною сервисов и пользователей. Самым главным критерием для. . .	Установка ChatGPT (Codex) на Windows без использования Microsoft Store Fabien159 28.10.2026 Здравствуйте всем читающим! Опишу процесс установки ChatGPT (Codex) на Windows, если по каким-то причинам у вас не получается устанавить его через Microsoft Store. И так: 1. Скачиваем с. . .

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

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

@Mikhaylo 821 / 580 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	09.01.2022, 02:47 [ТС]
	CoderHuligan, ага. Девиз направлен на смещение акцента внимания, на ломку сознания. Не уверен, что прочитавшие мои посты в этой теме сломали себе сознание. Для этого нужно погрузиться в тему. 0

@Mikhaylo 821 / 580 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	09.01.2022, 15:44 [ТС]
	Здесь парадигма заключается в том, что разработчик должен видеть только нужное из того, что компилятор обрабатывает последовательно и строго. Более того, разработчик должен видеть еще кое-что (информация для разработки), что не требуется компилятору, но важно для разработки. Таким образом возникает идея разделения одного языка на два - язык программирования (ЯП) + язык разработки (ЯР). Предложена концепция автоматической трансляции текста на ЯП в текст на ЯР, и обратно. IDE играет ключевую роль в автоматической трансляции и автоматическом поддержании заданного уровня абстракции. В такой ситуации ЯП и текст на ЯП уже не представляет особого интереса (сложность ЯП, читаемость текста ЯП и т.п.), можно перевести ЯП в XML-формат для более простого парсинга. Таким образом реализуется девиз "Programming language for computer, development language for human.". Коротко? 0

Алексей1153 фрилансер 6510 / 5772 / 1135 Регистрация: 11.10.2019 Сообщений: 15,418
	24.07.2026, 12:49
	Mikhaylo, привет Ну, как там, в будущем, уже умеет ? 0

@Mikhaylo 821 / 580 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	24.07.2026, 12:51 [ТС]
	Мы тут вообще больше не программируем, многие ушли из программирования в доставку. 0

Алексей1153 фрилансер 6510 / 5772 / 1135 Регистрация: 11.10.2019 Сообщений: 15,418
	24.07.2026, 12:55
	Mikhaylo, круто. Что доставлять просют ? 0

@Mikhaylo 821 / 580 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	24.07.2026, 12:57 [ТС]
	Пиццу, роллы и ванильный раф. ) 0

Алексей1153 фрилансер 6510 / 5772 / 1135 Регистрация: 11.10.2019 Сообщений: 15,418
	24.07.2026, 12:58
	Mikhaylo, а съедобного нет ничо там что ли 0

@Mikhaylo 821 / 580 / 75 Регистрация: 20.09.2014 Сообщений: 3,828
	24.07.2026, 14:55 [ТС]
	Алексей1153, всё уходит на токены. 0