Rebol-синтаксис

Мечтая об интерпретаторе для конструирования синтаксиса, в конце концов, я прихожу к выводу, что спецификация Rebol, который и позиционируется как система для конструирования диалектов, и есть та самая модель интерпретатора, у которой могут быть разные реализации, но с общим форматом типа того же ASON AltScript ... Не случайно идеи проекта не отпускают тех, кто когда-то сталкивался с Rebol-синтаксисом ... Кстати, стоит выделить, из попыток последних реализаций, проекты Arturo (Nim) и Ryelang (Go). Последний (А ведь, не только я интерпретирую ЯЗЫК как ИНТЕРФЕЙС!) заставил ещё раз перечитать спецификацию Go с его, "якобы" 25-ью ключевыми словами в противовес с 35-ью Си и с около сотни С ++. Какими бы не казались, на первый взгляд, грозными конкурентами C/C++ такие проекты типа Vlang, Zig или Crystal, они очень далеки до демонстрации, с помощью них, больших распределенных систем и, вообще, глядя на скорость развития этих проектов, мало надежд на то, что они выдержат весь путь, в принципе, в конкуренции с тем же JavaScript, догоняя его функциональность ... А с другой стороны, участие в идеологии Golang разработчиков Limbo (Inferno) безусловный аргумент, а то, что, фактически, один из участников, ещё и участовал в разработке того же Си, то аргумент вдвойне. То есть, если у algola-подобного синтаксиса Си и есть конкурент, то это, скорее всего, Golang и есть. За выделенными проектами стоит следить, хотя бы, с точки зрения интерпретации концепций программирования, например, того же КОНТЕКСТА. Идея интерпретации записи, файла, бокса, сегмента, блока, контейнера, фрейма, объекта, области видимости все того же ассоциативного массива, то есть даже не карты с парой ключ-значение, а с парой значений, огромный шаз вперед в понимании сути вычислительного процесса, как такового, без заумностей в попытках натянуть алгебраические символьные абстракции на концептуализацию, в принципе. Видимо, все-таки, действительно, стоит, МЕТАМОДЕЛИРОВАНИЕ акцентировать отдельно, от той же математики, практики манипулирования с числами, но без потери идеи нумерации как процесса различения и именования.

Язык как информационная система

Это не я сказал, но я тоже могу так сказать ... Каждая новая концепция, реализованная как структура, код функциональной модели - элементы лексики, а синтаксис или семантика, как мы видим, сами по себе, являются моделями или концепциями. То есть любой кодер, конструируя информационную систему, либо использует полностью интерфейс какой-то хостовой системы, либо и, как правило, создает над ней что-то своё. Так и возникает "вавилонская башня" ... 7 000 ... 8 000 ... 10 000 ... диалектов ... По сути любая функция, процедура, макрос ... то есть объект - интерпретатор, автомат со своим алфавитом и правилами трансформации ... И ... очевидно, что все вынуждено трансформироваться в друг друга и оптимизироваться ... как бы искусственно, осознанно или нет, кто-то не старался "плевать против ветра" ... Очевидно, что JS - WebAssembly становятся такой универсальной базой или "конвенциональным стандартом" в сети, точно так же как С/С++ заменяют Форт и процессорные ассемблеры в загрузчиках и выбираются фундаментом в хостовых системах (а тот же flatassembler скорее С++, чем, собственно, даже макроассемблер). Остальные вынуждены "внедряться" или "внедрять" ... Тем не менее у медийного мейнстрима есть характеристика, которая одновременно является позитивной и негативной, а именно, преемственность старого кода ... В принципе, это не проблема, потому что любой новый проект может решать эту проблему не на уровне своего синтаксиса или семантика, а созданием трансляторов старого кода в новый ... То что, тот же JS тащит за собой всю свою историю, это даже правильно ... Вопрос только в том, как эта история смоделирована и реализована в архитектуре ... Вероятно и то, что все концепции вычислительных моделей и программирования, в принципе, сформировались ... То есть за несколько десятков лет практики, уже не может быть никаких новых конструкций ... только новые слова вместо старых ... То же самое касается, собственно самого синтаксиса ... но в рамках которого в системе алфавита часто игнорируют разделители, скобки и прочие операции, являющиеся неотьемлемой частью процесса кодификации ... Это как игнорирование паузы и, соответственно, её интервала в рамках "семи нот", диезов и бемолей ... хотя они повсеместно в нотной грамоте присутствуют ... Короче, вроде все ясно с практикой кодирования, но не до конца закрыт вопрос с её кодификацией ... Отсюда все эти попытки оптимизировать и создавать альтернативные базы ... Короче будем продолжать исследование прецедентов, но при этом явно сделаем выбор экспериментального синтаксического стенда, с которым и будем сравнивать все остальное ... параллельно пытаясь реализоватть или оптимизировать сам стенд. Скорее всего из этого ничего не получится социально утилитарного и сам внешний процесс, независимо от приватной инициативы, скорее придет в "необходимое или оптимальное" состояние, по крайней мере "огромные" полиномиальные сети заставят это сделать ... 

Пока центр внимания смещается в состязание между JSON и ASON ... Misty и AltScript (Rebol) ... 

П.С. И, вот, ещё ... "The Nature of Lisp" (2006-ой год) ... стрелки и скобки ...

Если языковых парадигм нет, то что тогда ...

Сделал гугл-сайт и несколько удалил, а с двумя пока не знаю, что делать, потому как на них есть ссылки. Вероятно придется оставить, один это serj-aleks (метасемантика), а второй - метатроника. Может оставить для истории, демонстрирующей непростой выбор даже обозначения проекта, не говоря уже о других концепциях. Кстати, иногда возникает мысль вернуться к метасемантике ... хотя очевидно, что семантика и модель - суть одно с позиции структур, так что, в приницпе, без разницы и метамоделирование уже почти конвенциаональный термин.

Есть проблемы с рефакторингом. Собственно, задача просканировать посты из "телеграм", которых в "кодификации" больше 22 000 и в районе трех тысяч там же в "абракадабре", то есть около 25 тысяч постов, которые надо редуцировать! Кажется невозможным переварить столько информации. Начал смотреть и в очередной раз осознал ограниченность сознания, по крайней мере, своего. Какие-то аспекты забыты начисто. Кое-что даже удалось когда-то более внимательно посмотреть, не было времени, оставалось на потом ... и потом тоже забывалось.

Вот, например, идея "постепенно расширяющейся" системы ... XL. Кстати, идея трансформируется в проекте Ohm, где целью формулируется создать систему, чтобы генерировать свои синтаксисы. То же самое с идеей персистености, которая более осознанно проявляется в историческом моделировании ... А возвращаясь к XL мы неизбежно переходим к теме концептуализации как таковой, в связи с которой неожиданно всплывает аналогии проекта Prolog с реляционным программированием, а с этим всплывает тема интенционального программирования и такая серия проектов как Curry или Mercury ... Короче, цепь рассуждений до безобразия тривиальна. Все символы, которые так или иначе сериализуются в памяти, которую мы и организуем типа как пространство кортежей. Файлы ли это, блоки, боксы, домены или контейнеры не суть (Кстати, надо выбрать все-таки обозначение). То есть код ли, данные тоже не суть ... все размещается в некоторой базе данных (опять же файловой системе или в распределенном облаке тоже просто другие слова ...) ... компьютер - сеть, а сеть - компьютер ... И, собственно, то что называют языком - не что иное как информационная система, а лексика, по сути - база данных, что стало очевидным уже даже для лингвистов. Короче, буду конструировать свою классификацию прецедентов и концепций информационных систем. Интересно, какое место там займут операционки. Пока ясно одно, что во главе угла, прежде всего, протоколы или форматы!

Web-инфраструктура для персонального профиля

Я пользователь интернета со времен связи Церна с Институтом ядерной физики СО РАН и с энтузиазмом воспринял инициативу Google стать форпостом сети с моделью бесплатных информационных сервисов, амортизируя свои издержки продажей рекламы. Это сподвигнуло меня сделать отдельный сайт, посвященный сервисам Google ... но потом стало бросаться в глаза постоянное шараханье гугловской команды от пользователя интернета к конкуренции с бизнес-монстрами и в результате даже отказы от своих публичных проектов типа G+ или P2P на базе протокола IMAP ... игнорирование частных инициатив, возможно несущих угрозу бизнесу ... и так далее ... И это угроза бизнесу проявилась даже у таких конкурентов типа Opera, где в лету канул их замечательный проект блогосферы с расшариванием десктопных папок ... Короче, именно  такое очевидно "монопольное поведение" мейнстримных игроков, заставило внимательнее сканировать сеть на предмет приватнх альтернативных проектов ... вопреки всему ... К сожалению, последние не могут справится с "раздвоением между содержатеьной целью и ей монетизацией", в результате, либо сама новая идея реализуется (часто в испорченном варианте) мейнстримом, либо просто игнорируется или "замусоривается откровенным говном" ... Есть исключения и компромиссы ... типа того же проекта Tiddlywiki ... но опять же с полным игнорированием пердставителей мейнстрима ...

В общем, компромиссы так компромиссы ... решил вернуться к идее максимального использования гугловских сервисов для "системы персональных знаний", но с тематикой типа "против гугл", посвященной, действительно, парадигмальным идеям в практике программирования. Зайти на очередной круг и при этом начать осваивать мейнстрим типа JavaScript, но транслировать и интерпретировать с помощью него его потенциальные альтернативы. Можно было бы развивать любой "синтаксис" и любую информацонную систему в требуемую сторону, что, как правило, не получается из-за амбиций разработчиков. Наконец, старые системы, вынуждены поддерживать весь свой старый синтаксис, хотя можно было бы делать соответствующие трансформаторы и давать возможность автоматического апгрейда.

Короче, новый эксперимент. Но уже на базе определенного фундамента, с учетом модели CAP-грамматики и дисциплины МЕТМОДЕЛИРОВАНИЯ. Заведу новый гугл-сайт (что по сути типа вики) с форумом и, в сочетании с этим блогом посмотрю как это конкурирует с простыми Tiddlywiki-файлами (где будь почта и форум, то вопрос бы очевидно закрылся сам собой). Главное содержание. Очередная попытка, используя, что-то типа "метода переезда" собрать вместе все вещи, расставить их по-новому и ... может кое-что забыть на старой квартире и вместо этого прикупить что-то новое ... Недаром считается, что лучшие метафоры для компьютерных архитектур это класическая архитектура. Кстати, надо последнюю тоже определить элементом в МЕТАМОДЕЛИРОВАНИИ, может в рамках РЕТРОСПЕКТИВЫ.

Roc-Elm ... Haskell ... Clean

Машины Тьюринга и Поста, Цепи Маркова, Частично-рекурсивные функции, Теория авоматов, Лямбда-исчисление, Пи-исчиесление, Комбинаторы, Алгебраические типы, Реляционная теория, Теория категорий, Сети Петри, Логические продукции, Трансформация графов ... неполный перечень абстракций, которые сопровождают разные реализации компьютерных систем. 

Машинный код - Ассемблер - Макроассемблер (Форт, синтаксический конструктор) - АПЛ (массив) - Лисп (список, коннекция) - Пролог (БД, продукция) - Смолтолк (GUI для объекта) - Эрланг (закрытие темы параллельных процессов) ... Ряд раличных реализаций компьютерных систем, которые, собственно, являются предметом этих абстракций.

Веб ... Конкурентность ... Смартконтракты ... Социальные сети ... Интернет вещей - новая виртуальная реальность ... и желание всю эту практику, аключая саму практику абстрагирования свести к единому формализму и в одной конвенциональной лексике ... 

Можно такое сделать? Не просто можно, а неизбежно так будет сделано, если конструируется система взаимодействия ... модели акторов, интерпретаторов которые интерпретируют сообщения, генерируют их и трансформируют. Все это модели и их выражения - код и данные ... и абсолютные аналогии наверху "семантического дифференциала" ... Это можно продемонстрровать, но аргументом, опять же, может быть только эффективная компьютерная система, интегрирующая другие ... И трудно выбрать линию, которая наиболее адекватна некоторым собственным текущим представлениям, среду, которую можно использовать для дальнейшей эволюции ... Когда я начинал осознанно путь выбора, то это были ограничения типа - только не C/C++ или Java, только не Oracle или Макинтош (Apple) и только не Linux, оправдываясь, с одной стороны, неубедительной практикой их представителей, а с другой, неприятием их амбиций, предавших традиции IBM и AT&T (Unix). Я активно использую продукцию Microsoft и Google, но не потому, что она лучше, а скорее из сложившихся обстоятельств и отсутствием альтернатив.

Короче, круг пунктов интерполяции стал активно сужаться, благодаря новым проектом и активизацией некоторых старых ... Vlang, Zig ... Pantom OS, UNISON, FML ... Flatassembler, ASON AltScript (Rebol), Tiddlywikik ... WebAssembly, JavaScript ... К этому вот теперь прибавился новый список, в котором интенция - Clean. Недавно один из его апостолов защитил докторскую диссертацию, что похоже на маркетинговых ход и из чего я делаю вывод, что надо будет ожидать что-то типа rust-овского бума для этого проекта, его реирканцию ... 

P.S. Хочу обратить внимание, что все системы как надстройки над аппаратурой, по сути одинаковы, только в разной степени развиты ... основная проблема в описании самих систем, которые должны либо описывать сами себя, то есть быть интуитивно транспарентными, либо их авторы и разработчики должны нам просто показать архитектуру организации памяти, терминологический граф своей системы и продемонстрировать его подграфы, которые являются переходами ... акцентируя контейнеры и их содержимое, то есть делая акцент не на синтакисе, а на, собственно, свои модели. Ещё раз утверждаю, что парадигм программирования не существует! Есть синтаксические игры и пустые дискуссии вокруг них. Комитеты по стандартизации - это манекены, которые не проводят никакого анализа на транпорентность и аналогию. Может нужен какой-то общественный, открытый комитет, типа для открытого компьютерного оеспечения? Для анализа новых спецификаций, экспертизы новых определений на их чистоту. Типа общественного патентного биро, только с уклоном не в серификацию качества типа хорошо или плохо, правильно или неправильно, а детализируя параметры ... что, опять же, по сути терминологический граф с выдеением подграфов, осущствлящих генерацию и трансформацию. Просто и понятно! Да, плюрализм! У формата сообщения может быть несколько интерпретаторов, а один интерпретатор способен реагировать на разные форматы! Но сначала это надо дифференциировать, прежде чем интегрировать. И в основе всего этого "стрелка" или, что тоже самое "пара", как минимальная структура!

Fediverse, fedwiki ... factor

Неделя выдалась активной и связано это было с отношением с "телеграМ". По этическим причинам решил переехать на постоянное место жительство в соцсетях в другое место. Жаль "телеграФ", но буду искать новые варианты. Аккаунт как в ЖЖ не удаляю, много туда ссылок и буду читать корреспондентов, но постить туда уже ничего не буду. Переехал в "хабциллу", где администратор одного из хабов быстро откликнулся. Открыл сразу два канала - под своим именем для заметок проекта МЕТАМОДЕЛИРОВАНИЕ и тематический РЕТРОСПЕКТИВА, с уклоном в социальные аспекты. Попробовал там же сервисы "вики" и "веб-сайт" из-за чего, собственно, выбрал "федиверсе" и то что с ним дружит "вордпресс". Сервисы сырые и и неудобные. Подумал, что может вики попробовать в "федвики", но не нашёл ни одного провайдера. Тем не менее переезд снова инициировал идею анализа современных актуальных проектов, авторы которых идут своей дорогой против мейнстрима коммерческих гигантов. Скорее всего тему буду развивать на платформе Тиддливики. Самый удобные и надежный вариант. JavaScript подождёт, хотя видимо в ближайшем будущем объехать его мимо не возможно, но для своего проекта и практики программирования хочу все-таки выбрать что-то более концептуально фундаментальное. Увидел проект Spry , который показался с моей колокольни близким по духу. В связи с чем начал смотреть проект Nim, где впечатлила амбиция сать лучшими и единственными ... но алголовский синтаксис настораживает и в этом смысле даже интереснее тот же Crystal . Короче, буду продолжать искать свою инфраструктуру, продлжать смотреть за развитием flatassembler, Racet, Faro ... где прежде всего есть графическая среда ... Первый очень далеко до Веба, как впрочем тот же Factor, но возможно, что последнему и уделю больше всего внимания. Концептуальность проекта зашкаливает, как впрочем, и амбициозность, и видно что автор глубоко понимает проблематику. Не хочу погружаться в "кучи", и сборки мусора. Я видел проект и даже участвовал, где на фортовских "стеках" была и сетевая объектная база данных и ГИС ... Буду привыкать к комбинаторам без скобок, а не к аппликативному синтаксису. Тем более, сейчас я точно понимаю что хочу, что все полные по тьюрингу системы одинаковы и что источник проблем - стартовый синаксис интерфейса, описание системы авторами и активность разработки ... и синтакический компромисс между функциональными скобками лямбда-блоков и конкатенационной природой натуральных диалектов для меня будет решаться как раз на стыке JS и, скорее всего, этого самого Factor"а. В конечном итоге, разрешение этих проблем в GUI и системе, позволяющей настраивать любой синтаксис. А такого пока никто не сделал. По пути к зрелости, почти все игнорируют важные вещи на уровне ядра, "живую среду", где пока безусловным лидером является Smalltalk, но который совсем не дружит с внешней средой, хотя его разработчики могли бы и позоботиться хотя бы о том, чтобы сделать транспилеры этой внешней среды в себя.

METATEMATIKA

Вариант или версия ГЛОТЕОНА, структуры или каркаса имеет место быть! Теперь можно "и в ширь и в глубь" ... Но перед спецификацией глоссария в сторону МЕТАМОДЕЛИРОВАНИЯ есть идея сделать тематические списки. Примеры с НАТУРОЙ ... или НОМЕРОМ ... Пока не знаю в какой форме это будет. Может надо пока (временно) отдельным файлом и после результата принять решение по оформлению. Назову файл МЕТАТЕМАТИКА.

Дальнейшие рассуждения по поводу JS привели к мысли, что это как выбор "гражданства", идентификация своей хостовой инфраструктуры ... ЭЙПЛ, МАЙКРОСОФТ ... ГУГЛ ... В очередноq раз загружу NW.JS и, наконец-то попробую погрузиться ... скорее всего это приведет в перспективе к CHROM OS или даже NODE.JS OS. Когда-то пропобавл загрузить WOLFRAM и ужаснулся, когда он съел на компе больше гигабайта ... С "нодой", точнее с NPM это наполовину меньше ... Понимая, что в ядре даже с GUI не больше полумегабайта, такие объемы кажутся устрашающими ... Но может пора смириться. Пора начинать путь к интеллектуальному агенту со своей системой интерпретации, со своим синтаксисом и, в конце концов, экосистема JS кажется самой комфортабельной и устойчиво-развивающейся ...