raskin,

>> antibase = (#; // конвертировать y в вектор используя базу из x
R>-- имеется в виду превратить число в вектор цифр записи c переменным
R>основанием системы исчисления в соответствии с элементами x.

Точно.

  2 2 2 2 #: 13
1 1 0 1      NB. бинарное представление

  5 4 3 2 #: 13
0 2 0 1      NB. 13 - это 201 в (5,4,3,2)-ичной системе счисления

  24 60 60 #: 1300
0 21 40      NB. 1300 секунд - это 0 часов, 21 минута и 40 секунд

R>В общем, в математике все эти идеи были. Неожиданными, я думаю, они ни
R>для кого не были. Но то, как их обобщили и включили в синтаксис (и
R>реализовали как действующий язык) — это было новое, и хорошее.

Как-то и хочется поспорить, но времени — увы. Хотя я уже большую часть доводов высказал, можно детально по косточкам разобрать ранги, коньюнкции, причастия (adverbs) и остальные элементы, как это завязывается в гармоничный клубок и посмотреть аналогичные решения на других языках. А потом долго дискутировать, принципиальные они или косметические...

Резюмирую.
Уникальность и первенство в реализации сочетания идей выше вроде сомнений не вызывает, и это хорошо.
С другой стороны я готов согласиться, что в некотором виде эти идеи витали в воздухе до APL (тем более до J/K).

Вот. Я предлагаю