DRAKON.SU

Спасибо за ссылку!
Редактор прикольный и приятный на вид.
Автор указывает, откуда взял идею: это так называемые blueprints из игрового движка Unreal.

Я сам не работал с blueprints, но общался с человеком, который с ними работал.
Проблема там следующая: слишком много проводков и всё надо соединять вручную. Утомительно.

А теперь давайте вспомним язык УТОПИСТ. Его преимущество в том, что там этот самый blueprint создаётся автоматически.
Проводки сами провязываются.

Но и тут есть проблема. Иногда хотелось бы явно и в одном месте прописать последовательность действий.
Хочется описать процесс. А УТОПИСТ больше ориентирован на результат вычислений. Иногда прописать результат — это то, что надо. Иногда нет.

Таким образом, мы имеем техническое противоречие:
1. Не хотим вручную связывать кубики (через имена переменных или соединительные линии).
2. Хотим чётко показать, какое действие идёт за каким.

В секретных лабораториях DRAKON Labs ведутся работы по разрешению этого противоречия.
Вот диаграмма на Vax'е


А вот тот же алгоритм на секретно разрабатываемом диалекте ДРАКОНа.


Прошу критиковать.

Степан, просьба пояснить основные принципы этого диалекта.
Укажите хотя бы два-три пункта.

Идея вкратце:
Компьютерная программа - это блок информации.
Этот блок неизбежно содержит в себе информацию двух видов:
1. Ключевая часть. Сама суть программы. Содержательная часть, без которой программа - не программа. Ядро, остов.
2. Производная часть. Шлейф. Технические детали, которые необходимы для работы реального компьютера. Производная часть функционально зависит он ключевой части.
Чтобы создать ядро программы, требуется интеллект, опыт, понимание.
Чтобы создать производную часть, требуется следование правилам, аккуратность, исполнительность.
Задача стоит следующая:
1. Свести ядро программы к минимуму.
2. Автоматизировать производство производной части.

Как это сделать? Один из способов - уменьшение связывания (байндинга).
Что такое связывание? Передача параметров в процедуры, возврат значения, порядок вызовов процедур, конвертация параметров.

Как можно уменьшить связывание?
Есть несколько способов:
1. Для многих задач расчётного типа - программирование "с конца", от требуемого результата. Например, как в языке утопист.
2. Глобальные переменные. Да, я не ошибся. Глобальные переменные упрощают жизнь в разы. Но не всегда. И тут есть тонкость.
3. Подразумеваемые переменные. Так называемое "текущее значение". Одна функция возвращает значение, которое принимает следующее и т.п. Юниксовые пайпы.
4. Подвид подразумеваемых переменных при хождении по графу данных программы. Если компилятор знает модель данных, он догадается, какое именно значение "подразумевается" в каждом конкретном случае.

Думаю вот, как это всё организовать и усилить ДРАКОНом.

Спасибо. Хорошо написано. Серьезная программа.

Желательно: Опубликовать эту задумку на Хабре.