[#] Дифференциальная сеть — формальная система для формальных систем
BotHabr(tgi,2) — All
2023-08-04 18:00:05


Опубликовано: Thu, 03 Aug 2023 16:45:54 GMT
Канал: Assembler – Язык программирования низкого уровня

Сколько раз при изобретении очередного метода обработки структурированных данных наталкиваешься на мысль о дежавю? Работа со списками файлов, словарями имен, объектными полями, связывание разнотипных данных. В каждом новом более удобном или более быстром переизобретении проглядывается что-то общее, непреходящее. Концептуальное ядро, связующее все возможные производные множества и включающее их в свою орбиту. Что-то чему язык затрудняется сходу подобрать название, а мозг очертить предельные границы. Одновременно всеобъемлющая и при этом неуловимо малая деталь. Абсолютная абстракция. Линейный примитив. Читать далее

https://habr.com/ru/articles/752366/