понедельник, 28 ноября 2022 г.

Паттерны и Компарация

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

1. Распределённость (процесс, асинхронность, параллельность) - кажется, что Веб, Интернет, Гипертекст инициировали эти концепции, но на самом деле изначально компьютерная система существует как гетерогенная структура. Другое дело, что процесс концептуализации вычислительной практики как бы замкнулся.

2. Форт-концепция

3. Лисп-концепция (по сути универсализация записи и переход к параметризации)

4. АПЛ-концепция векторных комбинаций

5. Объектно-интерфейсная концепция, реализованная в Смолтолке

В качестве актуальных проектов как паттернов спецификации напрашиваются следующие системы программирования, как когнитивные архитектуры: Тиддливики (проанализировать концепции DOM, реактивность, фрагментация, тегирование, сценарии, макросы и виджеты), AltScript (Rebol), OpenCog, MMTZ, ...

В качестве потенциальной платформы для конструирования интерпретатора кандидатом на текущий момент помимо JavaScript/Node.JS являtтся Curl.

понедельник, 21 ноября 2022 г.

Эвристики и леммы

В очередной раз погрузился и просканировал ретроспективу программирования ... Как следствие автоматизации процесса ввода команд с пульта управления были введены карты (перфокарты, ленты, диски) и условная адресация, выражающаяся в именовании блоков памяти. С тех пор, принципиально, ничего не изменилось, к клавиатуре прибавился терминал, который стал сенсорным, но с тем же принципом "курсорного интерфейса". Что главное. Программирование - тотальная интерпретация. На физическом уровне - организация памяти с метафорой складирование объектов, каталогизация для организации доступа и автоматизация перемещения ... То же самое в абстракциях - выделение и символизация не только объектов, но и их референций и, соответственно референций между объектами и референциями и, собственно, между референциями, которые и есть абстракции. В результате практики выделилось несколько базовых схем, которые в разных комбинациях перемешиваются. Важно, что между интерпретацией машинного кода и целевой прикладной программой несколько уровней трансляции перед интерпретированием. Когда мы говорим о двух классах ПО - системном и прикладном, это и есть попытка регулирования процессов интерпретации и компиляции. Можно для каждого процесса программировать интерпретатор в его машинный код или ассемблер или выбрать универсальный транслятор или один из его интерпретаторов и расширять его в сторону моделирования специальной темы (предметной сферы, конкретной проблемы). А можно ещё оптимизировать "посредников" интерпретационного процесса ... Следует выделить несколько концепций с реализованными моделями, которые универсализируют нижний уровень (машинный или ассемблерный код) - Fortran, Oberon, С/C++, Forth, Lisp, APL, Smalltalk, ... Prolog, Erlang, Rust ... Java ... HTML, XML, XSLT/JavaScript ... и так далее, ряд можно продолжать, а выделенные отражают, практически, все базовые концепции без коррекции курса на распределенный гипертекст в сети. Так или иначе, жизнеспособность проектов поддерживается либо коммерческими корпорациями, либо сообществами апологетов. Оба типа институализации не гарантируют развитие любого проекта. Более того, даже право обладатели и авторы, отказываются от развития своих проектов ... В сухом остатке остаются только модели, концепции и опыт их реализации, интерпретации ... и инструменты, позволяющие пройти рутину со скоростью превышающей, предыдущую эволюцию, особенно, если выбрана оптимальная схема. Так вот, выбранные паттерны, а именно, Tiddlywiki и Rebol оптимально синтезируют весь эволюционный процесс программирования, каждый ориентируясь на свой "нижний уровень". Задача - специфицировать этот нижний уровень, смоделировать его и может даже реализовать.

Принципиальный комментарий! Ещё раз ... Для анализа практики моделирования можно выделить следующие базовые структуры - пару (*,*), пару пар ((*,*), (*,*)) и специальную пару (*, (*,*)). И следует всегда помнить, когда именуется пара (референция), а когда "физический" объект! Ну и, соответственно, сконструировать оптимальную базовую спецификацию, с возможностью переименования объектов, ситуаций и процессов.

1.34 Контр 2.34 Конфликт 3.34 Концерн 4.34 Координация 5.34 Копия 6.34 (Корка) Корпус 7.34 Космос

понедельник, 14 ноября 2022 г.

К концептуализации "пары" для концепции ИНТЕРПРЕТАТОРА

ПАРА - ПАРАМЕТР. Ассоциативное бинарное отношение. СИНТАКСИС (АППЛИКАЦИЯ): СИМВОЛ (ТЕРМИН) - ИНТЕРПРЕТАЦИЯ (СЕМАНТИКА)

Комментарий. Интерпретация может заменить термин ЗНАЧЕНИЕ. "Параметр" - вариативная экзистенция. Процессы не имеют состояний как перманентные сущности, у которых мы фиксируем СИТУАЦИИ как отношения между объектами, являющиеся системами параметров. Процессы - серии ситуаций. Объекты имеют состояния (статусы), которые фиксируют ИНТЕРПРЕТАТОРЫ.

1.33 Конвейер 2.33 (Конвой) Конгломерация 3.33 Конденсация 4.33 Кондиция 5.33 (Конкретный) Консистенция 6.33 (Консилиум, Консолидация) Консул 7.33 Контент

понедельник, 7 ноября 2022 г.

Модели вычислений

Фактически, написано эссе, как декларация, манифест и программа, которую и следует развивать, комментировать и интерпретировать, доведя до некого формализма, оптимального кода "интерпретатора интерпретаторов". Как оказалось, у инфраструктуры Rust есть ещё более фундаментальная альтернатива - экосистема Erlang. А, вообще, надо написать статью, главу, в ретроспективном стиле, о моделях вычислений. Особенно, об интерпретациях вычислительных архитектур, связанных с параллельными процессами ... сетями Петри, взаимодействующими процессами, моделями акторов, интеллектуальными агентами, теорией доменов и так далее ... по возможности провести концептуальный (структурно-функциональный) анализ всех существующих. Их должно быть меньше, чем реализованных программных систем. В результате могут возникнуть критерии для анализа и компьютерных систем, в частности, при этом, с позиции моделирования, парадигмы метамоделирования, полипарадигмального подхода.

1.32 Коммуникация 2.32 Компендиум 3.32 Компенсация 4.32 (Компетенция) Комплимент 5.32 Компонент 6.31 Компромисс 7.32 Компьютер

пятница, 28 октября 2022 г.

О концепции управляющих конструкций

На поверку нет такой теории. Есть парочка отдельных, типа кондиции и цикла и потом полный разнобой в обобщениях практики. То есть отсутствует какая-либо стандартизованная классификация, в принципе. В частости, нет аналитики дефолтных конструкций, имеющихся в повсеместной практике, но не специализированной как контроль. Сортировка - управление? А поиск? Наконец, определения, декларации?

1.32 Коммуникация 2.32 Компендиум 3.32 Компенсация 4.32 (Компетенция) Комплимент 5.32 Компонент 6.31 Компромисс 7.32 Компьютер