Без заголовка

Повторю себя, любимого: "...чутье мне подсказывает, что где-то на пересечении теории категорий (семантика), онтологической инженерии (типы) и языкоориентированной (нотации) программной инженерии (действия) мы можем получить весьма нетривиальные результаты в компактификации знания". Создание софта -- это и есть компактификация (или хотя бы выражение на немозговом носителе) знания.