хочется остановить или перемотать но нельзя

Я с телефона набирал, поэтому написал "коротко и неясно". Там обсуждалась похожесть связки "спецификации - архитектура" из CS со связкой "уравнения - решения" из физики. И, соответственно, то, что "уравнения" легко сочетаются друг с другом, значительно лече, чем решения.Поэтому когда физик решает задачу, он строит модель, потом манипулируя уравнениями получает "финальное", а потом уже находит его решение.

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

Это прекрасно сочетается с тем, что в соц. исследовании значительная часть программистов сперва старалась свести типы, а потом уже что-то писать. Хотя, конечно, типы - это лишь малая часть спецификации.

Да, любопытная аналогия и параллель. Но требует доп. исследования, потому что, например, https://www.hillelwayne.com/post/spec-composition/

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

Собственно, читая вашу ссылку: "Composing specs is hard because specifications need to totally describe how their variables change, and component specs don’t know about each other’s variables.", я вижу, что описывается императивная программа, манипулирующая одной переменной.

То есть, нам надо различать спецификации и спецификации.

ну пока посуду моешь то почему нельзя, положил тарелку и перемотал

Даже с гейфоном перед перемоткой надо вытереть руки (или хотя бы тот палец, которым тыкать будем).

зачем

Вода сенсор перекосит

Придётся блокать устройство, вытирать экран и возвращать как было

чтобы перемотать это обычно не проблема, там у видоса половина экрана это кнопка перемотки

На 10 секунд

прямо сейчас я взял айфон, вылил на него воды и спокойно перелистывал видос на ютубе

сенсор очевидно не работает как надо, но повторюсь, для перемотки это не проблема, там половина экрана блин это назад, а вторая половина это вперед

""спецификации - архитектура" из CS" — архитектура различает функциональное (не в смысле CS, а в смысле системного мышления, "ролевое") и конструктивное (что выполняет эту "роль") описания в их взаимосвязи (это и есть "архитектурный синтез" или "архитектурное решение") и в этом плане речь идёт о software engineering, а не computer science.

То есть вопрос не решается в рамках science, нужно выходить в инженерию.

Соответственно, в инженерии объекты реального мира, в science объекты математические и нужны дополнительные соображения, почему мат.объекты вдруг ведут себя как физические объекты.

То есть в этом месте (SE vs. CS) бездны и нужны некоторые эпистемологические изыскания.

Конечно, все в этом обсуждении прописано много лет назад на десять ходов вперёд. Но это никого из software engineers и computer scientists не останавливает иметь собственное мнение, что там должно быть. В том числе можно решить вопрос не "научно", а голосованием: например, опросить каких-нибудь программеров, что они думают на эту тему )))

На самом деле, есть целых три уровня: реальный мир, математика и код.

И задача спецификации находиться на уровне математики, между остальными двумя уровнями.

Потому, что попытки моделировать реальный мир в коде ни к чему хорошему не приводят.

* в тарелку

дорогой, сегодня у нас яблоко на ужин