Обсуждение:Инвариантное программирование

Данная страница является переводом страницы-оригинала на англ. https://en.wikipedia.org/wiki/Invariant-based_programming Arkcoon (обс.) 09:46, 7 августа 2019 (UTC)

Вероятно есть более подходящий перевод термина "program statements", кроме как "тело программы", но так звучит естественно. Arkcoon (обс.) 10:02, 7 августа 2019 (UTC)

• Немного поправил текст — было какое-то ужасное несоответствие с тем, что написано в англовики, но всё равно не понимаю, о чём речь. Судя по тому, что в оригинале автор пишет обо всех языках программирования утверждения, которые верны только для императивных, он тоже не понимает, и переводчик тоже не понимает. Командная работа, блин. Викизавр (обс.) 10:04, 7 августа 2019 (UTC)
  • В данной статье описывается скорее подход к решению задачи и более относится к парадигме программирования, нежели к императивному программированию как таковому. Arkcoon (обс.) 10:38, 7 августа 2019 (UTC) UPD: Arkcoon (обс.) 12:41, 8 августа 2019 (UTC)
  • Program statements — так и переводить как «операторы программы». Чтобы понимать о чем речь см. пример «Программа на Паскале представляет собой последовательность операторов». Таккаим образом программа состоит из операторов. Еще один вариант — «код программы». --Lomogorov (обс.) 18:11, 7 августа 2019 (UTC)

Название статьи

В похожих «-based programming» при переводе «-based» опускается

• en:Automata-based programming — Автоматное программирование
• en:Prototype-based programming — Прототипное программирование

Не лучше и здесь обойтись без перевода based — Инвариантное программирование? --Lomogorov (обс.) 17:54, 7 августа 2019 (UTC)

• За. Викизавр (обс.) 18:43, 7 августа 2019 (UTC)
• За. Arkcoon (обс.) 12:33, 8 августа 2019 (UTC)
• За. Погуглил, встречается "инвариантное программирование", так что это не наше изобретение будет. Евгений Мирошниченко 08:33, 9 августа 2019 (UTC)