воскресенье, 28 апреля 2024 г.

Пять прототипов параметрических архитектур для спецификации компьютерного интерфейса

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

1. Tiddlywiki - с одной стороны, максимально концептуально нагруженная архитектура, вмещающая почти всю идеологию программирования, с другой, система, реально помогающая моим проектам, и, наконец, представитель мейнстрима или реальной тотальной практики, конвенциональной и стандартизованной.

2. Rebol - как альтернативная ветвь эволюции с концептуально продуманной оптимизацией эклектичного, по своей сути, процесса развития компьютерных систем и, фактически, вмещающего в себе всю ретроспективу популярных концептуальных представителей ... Lisp, Forth, APL, Self (аккуратнее всего репрезентирующий Smalltalk и, в принципе, объектную парадигму).

3. Flatassembler (в сравнении с Webassembly) - как базовый уровень архитектуры интерфейса компьютерных систем с одной стороны, и как межплатформенная реализация, с другой.

4. Erlang - как зарекомендовавший себя на практике представитель функционального направления "мета-языков", с реализацией модели акторов, конкурентного программирования и смарт-контрактов, проблемы распределенных и параллельных процессов.

5. Prolog - как классический представитель логического программирования, продукционных систем, реляционной алгебры и СУБД.

Структуры и алгоритмы (и прежде всего организация памяти, сортировка и поиск) остаются концептуальными инвариантами! А автоматизация интеллектуальных операций перманентная тенденция всей компьютерной эволюции!

P.S. Список может быть дополнен максимум двумя позициями, например, тем, что пока активно развивается и потенциально может повлиять на спецификацию: проекты Zig и V как оптимизация мейнстримных Go и Rust, а также проект UNISON с позиции "исторического моделирования".

3 комментария:

  1. Предыдущая версия поста. Демонстрация проблемы формулирования идей. Концептуальные системы как прототипы парадигм программирования https://serj-aleks.shishkin.org/2022/11/blog-post_21.html
    https://serj-aleks.shishkin.org/search?q=REBOL
    https://serj-aleks.shishkin.org/search?q=Tiddlywiki
    https://serj-aleks.shishkin.org/search?q=Erlang

    https://telegra.ph/REBOL-Koncepciya-BLOK-04-23
    https://telegra.ph/Arhitektura-i-koncepcii-Tiddlywiki-10-06

    Платформенный ассемблер - межплатформенный ассемблер (Flatassembler или Webassembly?) - ФОРТ - АПЛ - ЛИСП - ПРОЛОГ - СМОЛТОЛК - (Javascript или Rebol (Self)) ... Аттавизмы эволюции - алголоподобные языки ... и РЕФАЛ ... В связи с рапреденными системами интересная ветка Erlang, системы реального времени (?) и проект Inferno
    Естественно, что есть неплохие проекты, аналогичные акцентированным, но они просто как мультипликаторы идей, заложенных в указанных проектах ... Нет идей как классифицировать сферу блокчейнов или смартконтрактов?
    Языки, получившие распростаранение в связи с мощной поддержкой ИТ-корпораций назовём эклектичными и ацентируем только связку C/C++ с оглядкой на Rust, но параллельно отслеживая развитие проектов Zig и V ...
    Из языков, поддерживаемых исследовательскими математическими сообществами акцентируем Haskell как представителя развития общей теории ML и частично теории категорий - языков, но опять же с оглядкой на Ocaml как самого развитого представителя ... Что в конце концов, обозначается как функциональное программирование, фактически, реализованное в модели Эрланга ...
    Отдельно выделим проекты UNISON и "Историческое моделирование" ...

    ОтветитьУдалить
  2. 1. Ассемблер (Flatassembler, Webassembly, Параметризация)
    2. РЕБОЛ (Форт, Лисп, АПЛ, Селф, (Алгебраизация) Аппликативное или комбинаторное программирование, включая лямбда-исчисление)
    3. Тиддливики (ОС (Сервер, Хост, Контейнер, JS, Node.js), БД, Ворд, Эксель, Интерфейс, Почта, Граф)
    4. Эрланг (Модель акторов, Параллельные процессы, Персистенция, Конкуренция, Контракты)
    5. Продукционные системы (Пролог, Даталог, Clips, SQL, Реляционная теория)

    ОтветитьУдалить