Конкатенация или аппликация?
Вопрос о сравнении парадигм программирования. Такое впечатление, что сторонники теории «аппликативного программирования» (лямбда-исчисление и даже комбинаторы) придают теории большее значение, а приверженцы конкатенации * больше практики и игнорируют теоретические аспекты, уверенные в том, что их позиция и есть недостижимый оптимум. Интересно, а можно ли сконструировать «абсолютную теорию» или парадигму, которая бы объединяла все, существующие на практике, подходы. Как здесь учитывать пи-исчисление, графический интерфейс и, наконец, как такая теория будет описывать адресные и нейроморфные типы хранения. Короче, можно ли сконструировать общую теорию, охватывающую одновременно языки программирования, операционные системы и базы данных (... и браузеры в придачу!).