BAL - усовершенствованный язык запросов для деревьев

[crazy-mike]

Не вдаваясь в подробности и сравннения возможностей, скажу только что меня озадачило само название BAL

Для нас Кракадилов и прочиx динозаврофф BAL всегда ассоциировался с Basic Assembly Language. In the public - Assembler

BALR 12,0
USING *,12
STM 14,12,12(13)
:bis:

[computer20]

Кратко - язык вот о чем.

Современный SQL не годится:
в индустрии используются сложные, много-связынные структуры данных - деревья и графы, а SQL (и даже PL/SQL) не приспособлен для их обработки (кроме того, PL/SQL уже даже не является реляционным, "матричным" языком - это процедурный язык)
каждая строчка кода должна экономить слова, каждое лишнее слово - будь то "where" или "select" - это лишняя мозговая энергия. Нужен более совершенный синтаксис

Коммерческое промежуточное ПО имеет следующие недостатки:
требует инсталляции и занимает несравненно больше места, чем exe-файл, скомпилированный из какого-либо языка
своим существованием увеличивает нагрузку на аппаратуру
предъявляет неоправданно высокие требования к кодирующему и настраивающему персоналу

Промежуточное ПО, создаваемое под каждый конкретный проект на PHP/Perl (точнее SQL+PHP/Perl):
требует знания большего количества языков (разнородных синтаксисов)
в функциональной точки зрения не имеет преимуществ монолитного, однородного языка разработки
требует дополнительной настройки Web-сервера

Идеи BAL - использовать маску при извлечении деревьев, самостоятельно устанавливать TCP/IP-соединение и выдавать данные также в виде деревьев (xml-деревьев или специальным способом). Все остальное - только развитие языка. Сферы применения языка:
запросом в базе данных получить сразу дерево, а не декартово произведение, и отправить его сразу в браузер (при этом предпочтительнее определить свойство "kind" в css-файле HTML 6.0, чем писать полноценный XSL)
для использования в проекте Computer 2.0

Примеры BAL невозможно переписать на SQL, в нем отсутствуют следующие средства:
- вывод в IP-трафик, SQL с необходимостью требует прокладки (php, perl, etc)
- ввод из IP-трафика, SQL с необходимостью требует прокладки

[crazy-mike]

Кратко - язык вот о чем.
Современный SQL не годится:
в индустрии используются сложные, много-связынные структуры данных - деревья и графы, а SQL (и даже PL/SQL) не приспособлен для их обработки

В индустрии (даже в микропроцессорных системах) в последнее время как-то больше пространства объектов используются...Я уже писал о том - что иерархия объектов практически является разновидностью древовидного представления...:skr: А итераторы (функции над массивами структур) еще в Common LISPе были. Весь парадокс "проблемы представления" в алгоритмических языках и соответствующих языках программирования - скорее всего заключается в ориентации этого языка на соответствующий класс пользователей. Пользователем может быть не только человек (программист и т.д.) - но и другая компьютерная система (программма). Соответственно и требования к пользовательским интерфейсам - несколько различны.

[computer20]

В индустрии (даже в микропроцессорных системах) в последнее время как-то больше пространства объектов используются...Я уже писал о том - что иерархия объектов практически является разновидностью древовидного представления...:skr: А итераторы (функции над массивами структур) еще в Common LISPе были. Весь парадокс "проблемы представления" в алгоритмических языках и соответствующих языках программирования - скорее всего заключается в ориентации этого языка на соответствующий класс пользователей. Пользователем может быть не только человек (программист и т.д.) - но и другая компьютерная система (программма). Соответственно и требования к пользовательским интерфейсам - несколько различны.

Не понятно, ты одобряешь BAL в этой части его возможностей или нет.

[crazy-mike]

Не понятно, ты одобряешь BAL в этой части его возможностей или нет.

Я любую новую по-настоящему экзотическую идею в языках программирования одобряю!!!! :bis: Только идея - больше на плагиат из APL и LISP - пока похожа...

[computer20]

Только идея - больше на плагиат из APL и LISP - пока похожа...

Такие вопросы самые ценные.
Что общего вы видите между APL & LISP и BAL-ом, и чем они по вашему отличаются (видимо "минимально отличаются").

[crazy-mike]

Такие вопросы самые ценные.
Что общего вы видите между APL & LISP и BAL-ом, и чем они по вашему отличаются (видимо "минимально отличаются").

:bis: минимально отличаются - в первую очередь с точки зрения языковой виртуальной машины и возможного вида U-кода. (промежуточного представления для компиляции в систему команд целевой архитектуры или
непосредсвенной интерпретации).. - Это сразу бросается в глаза....Добавьте еще возможность вычисления аргументов функций "по готовности" - для организации "естественного распараллеливания"....А принудительный линейно-последовательный порядок вычисления можно было бы задать обращением к специальной функции seq(....) - с переменным числом аргументов - вычисляемых в фиксированном порядке "слева-направо" или "справа-налево" и последовательно....Аргументами подобной функции конечно же могут быть constraints и exception traps...:34: кажется - понесло....

[computer20]

>минимально отличаются - в первую очередь с точки зрения языковой виртуальной машины

Т.е. это у них общее (я вас правильно понял?).

А какие языки сильно отличаются с т.з. языковой виртуальной машины?

>Добавьте еще возможность вычисления аргументов функций "по готовности" - для организации "естественного распараллеливания".

А где это у меня?

>А принудительный линейно-последовательный порядок вычисления можно было бы

А это у меня где?
Может я че-то недопонимаю, ты обязательно скажи.

>кажется - понесло....

Лучше больше, чем меньше,
так что не ограничивайся.

[computer20]

>минимально отличаются - в первую очередь с точки зрения языковой виртуальной машины

Т.е. это у них общее (я вас правильно понял?).

А какие языки сильно отличаются с т.з. языковой виртуальной машины?

>Добавьте еще возможность вычисления аргументов функций "по готовности" - для организации "естественного распараллеливания".

А где это у меня?

>А принудительный линейно-последовательный порядок вычисления можно было бы

А это у меня где?

>кажется - понесло....

Лучше больше, чем меньше,
так что не ограничивайся.

[crazy-mike]

>минимально отличаются - в первую очередь с точки зрения языковой виртуальной машины
( 1 ) А какие языки сильно отличаются с т.з. языковой виртуальной машины?
( 2 ) А принудительный линейно-последовательный порядок вычисления можно было бы
А это у меня где?

( 1 ) - все очень сильно зависит от формального способа описания семантики языка. При использовании Синтаксически-Управляемого перевода в языках , описыаемых контекстно-свободными грамматиками естественным выглядит использование "стекового процессора" в качестве виртуальной машины. Почти все функциональные языки описываются однозначными контекстно-свободными грамматиками - поэтому функциональные языки имеют постоянных ярых сторонников в рядах разработчиков СИИ. (они в этом случае уверены в том - что написанная на этом языке программа в самом деле будет работать так - как она написана)....
( 2 ) - стандартная управляющая конструкция "последовательность выражений" в BAL все же есть - насколько я успел заметить. В кратком описании ее семантическое описание - вообще не фиксировалось. :umn: