show и show/1

Вчера был “цирк“, а сегодня простое “шоу”.

show - демонстрирует имя, значение и список свойств символа, найденного путем применения алгоритма get к любому и следующим аргументам.

show /1 - предикат Pilog, который всегда успешен и показывает имя, значение и список свойств символа аргумента.

https://picolisp.tiddlyhost.com/#show

: (? (db nr +Item 2 @Item) (show @Item))
{B2} (+Item)
   nm "Spare Part"
   nr 2
   pr 1250
   inv 100
   sup {C2}
 @Item={B2}
->

Выше пример для show/1, в котором не видно ни суффиксов, ни рефинементов у show. То ли рафинирование типа очистки, то ли своеобразный полиморфизм … пока не ясно. Если использовать такой лексический прием как атрибуция, то возможно не понадобились бы эти дополнительные лексемы, а можно было атрибутировать тот же традиционный view, а ещё для просмотра, вообще, используется аббревиатура типа pretty … pp … vi … v … где посмотреть, а где вывести … то ли info то ли print , а то и “demo” … отсутствуют принципы, регулярность синтаксиса, а отсюда дополнительная ментальная нагрузка. Так формальные системы, вместо “однозначной концептуальности“ обратно трансформируются в “гумманитарную литературщину”, которая, вероятно, сразу бросается в глаза со стороны и которая не заметна для автора. Так бывает. Трудно увидеть не только “иголку в стоге сена”, но и перед “самым носом” или “прямо под ногами”. Опять придираюсь к синтаксису. А разве не справедливо? Когда имеем дело с “конвенциональным интерфейсом”, у которого коммукационная природа по определению, надо учитывать этот фактор.

P. S. Вот что значит Tiddlywiki, который всегда подстрахует память. Уже и забыл, что это символ рассматривался. Ну что ж, сегодня тогда оформим ещё.