вторник, 7 января 2025 г.

PicoLisp и другие

Все идет по плану. В новом блоге на хешборде новые посты и в еженедельном режиме. Инициировал первую страницу на PicoLispWiki и параллельно растет число тиддлеров для конспектирования результатов исследования PicoLisp в Tiddlywiki

Пожалуй найден ответ на вопрос, с какого языка программирования надо начинать обучение. Какой язык программирования должен или может быть первым? Первая система, для которой так подробно описана её архитектура и прочие потрохи, не считая, конечно, двух моих предыдущих симпатий. Начиная с критики "функциональной пара-дигмы" (точнее её интерпретации), в конце концов, я пришёл в мир "Лиспа", но в его традиционном варианте, развивающим базовые принципы символических вычислительных процессов.

Теперь можно все остальное "вычищать" из ментальной памяти, что окажется важным, должно быть связано и так или иначе проявится в процессе погружения. Есть ещё только два аспекта, которые, видимо будут постоянно присутствовать рядом пока не найдется решения, ассимилирующего все три проекта. Tiddlywiki в части архитектуры интерфейса и синтаксис ASON Format-а, включая развитие проектов, продолжающие концепции Rebol типа Spry, Arturo, Ryelang и так далее. Последние могут быть источником новых идей и оптимизации философии компьютерных интерфейсов, включая такие концепции как персистентность (историческое моделирование, Фантом ОС, UNISON), которые лежат как принципы в основе ИИ, расширяя и ту же базовую идею неизменяемости в "функциональном программировании". Теория категорий или алгебраические типы данных - все это символизация, нейминг, теория определений или отношений, структуры, в основе которых "точечные пары" и новая теория должна конструироваться вокруг этой самой символизации и интерпретации, с минимум синтаксического сахара типа "истинности", "теории типов" и тривиальных "черных ящиков" ... "лямбда-исчисления". Организация памяти и её распределение, решаются в пользу связного списка над регулярным массивом, в пользу ассоциативного массива, в котором кодируются любые другие табличные структуры.

Комментариев нет:

Отправить комментарий