21 декабря 2014 · Комментарий

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

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

Я чуток затронул этот вопрос в посте о микросервисах: http://ailev.livejournal.com/1155033.html "Микроформализации" (микротеории) против "теории всего" обычно начинают и выигрывают. Общий формализм нужен только для обсуждения того, что и как делать с микротеориями при обсуждении, затрагивающем самые разные формализмы.