Язык, но не наш

[arseniiv]

Хочу с вами поделиться придуманным вчера вечером языком программирования (уж как вышло ), да не простым, а эзотерическим. Назвал я его S. В нём существуют только стеки стеков, и ничего более.

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

Сейчас есть такие стеки:
cow (IO → Io → см. мифы др. Греции) – стек ввода-вывода. При вводе он заменяется введённым (так что он совсем фиктивный), при посылке в него значения он его выводит (см. ниже про числовой ввод-вывод).
æ (always empty) аналог "устройства" NUL – при посылке значение теряется, при "забирании" забирается пустой стек.
s, t – основные и нормальные стеки; вначале пусты.
queen (из queue) – королева ст замаскированная под стек очередь.
janus (у Януса два лица) – всё, что в него посылается, ложится туда удвоенным. Если послать значение из него в него, там станет три таких значения, и т.п.).

Только одна операция: . – достать верхний элемент стека (у очереди нижний; в операторе > теряется, при проверках остаётся на месте). Можно применять неограниченно: элементы – тоже стеки, а, применённая к пустому, она фиктивно отдаст пустой (на этом работает æ).
Оператор стек1 > стек2 перемещает стек1 наверх стека2. Если стек1 был именованным, ему присваивается пустой стек.
Операторы ife/ifn стек {операторы}: исполняют свою внутреннюю часть, если стек пустой/не пустой. Аналогично устроенные we/wn циклятся, пока стек не пустой. То бишь, we æ: подвесит интерпретатор, если он сделан не очень.

Комментарии обозначаются /.
При вводе (неотрицательного) числа оно преобразуется в стек с данным числом пустых стеков внутри, другой ввод будет проигнорирован.
При выводе выводится как cтек, так и соответствующее число (справа от).

Можно делать процедуры: они объявляются имя операторы: и вызываются, как надо, по имени.

Вот пример сложения двух чисел:

Код Выделить Развернуть

triple / утроение верхнего в t
  t. > janus
  janus. > janus
  janus. > t
  janus. > t
  janus. > t
:
cow > s
cow > t
triple
wn t
  t. > s
  triple
:
s > cow


Если допустить однобуквенные имена регис стеков как альтернативу:

Код Выделить Развернуть

f t.>j j.>j j.>t j.>t j.>t:c>s c>t f wn t t.>s f:s>c
Как видите, есть множество языков неудобочитаемее. Жаль.

Ещё я интересуюсь, Тьюринг- ли полный этот язык. Вроде не совсем...

Откомментируйте, пожалуйста!

[Bhudh]

[flood]
[offtop]
Кстати, в мифах др. Греции Io — это отражённая по горизонтали ваша Ι℧.
[/offtop]
[/flood]

[arseniiv]

А, знаю, знаю. Ну как язык?

[arseniiv]

У меня проблема в том, что называемых стеков ограниченное множество (а так их может быть бесконечно). И из-за неимения переменных (они всё испортят) я не уверен в полноте.

Код Выделить Развернуть

dup_t t.>janus janus.>t janus.>t:
inv_t / q должна быть пуста - вот ещё проблема: сильная контекстозависимость
  wn t t.>queen:
  wn queen queen.>t:
:
inv_t_2 / так-с, королева-то и вовсе не нужна!
  t>janus
  wn janus. janus..>t:
  janus.>æ
:
add1_t æ>t:
set0_t wn t t.>æ::

Исправил очепятку в первом посте.
Можно бы и заменить в учебных целях æ на nihil.

[Demetrius]

Очень забавно! 

Чтобы создать неограниченное число стеков, можна сделать как нибудь так: добавить стеки (условно) А и Б. Есть массив стеков, так просто недоступный (память под него выделяется динамически). При записи в стек А числа (точнее, стека с определённым количеством элементов, сами эти элементы игнорируются) через стек Б доступен стек из массива с номером, записанным в А. Хотя, подозреваю, что эта идея уже была откинута.

Есть ли уже интерпретатор?

Прикол про «королеву стека» понял не сразу. (^_^)" Всё-таки обычно встречаю слово стек в техническом значении.

[arseniiv]

Не, я закинул. Лучше сделать язык из лисповых списков (которые из пар строятся), и только из них. Пока не хочется...