Заявления и состояние

Question

Есть ли более глубокий смысл в том факте, что слово «утверждение» начинается со слова «государство», или это просто любопытное совпадение? Обратите внимание, что английский не мой родной язык, поэтому ответ может быть очевиден для вас, но не для меня;)

Answer 1

Английское слово «оператор» происходит от формы глагола «состояние», но программные термины «состояние» и «оператор» никак не связаны друг с другом. Утверждение в языке программирования является просто синтаксической конструкцией и не подразумевает, что какое-либо состояние вовлечено.

Answer 2

Ключевой концепцией парадигмы императивного программирования является то, что программы представлены последовательностью операторов, одно из которых меняет состояние программы.

Таким образом, вы меняете состояние или можете сказать, что на самом деле состояние (объявлять) что-то с каждым оператором . Мне кажется, что суффикс -ment используется здесь в его третьем смысле («средство или инструмент действия»). Заявления являются инструментами, чтобы заявить что-то в императивной программе.

В универсальном использовании кажется, что суффикс -ment используется в его первом смысле («действие, процесс или навык»).

Answer 3

Этимологически ответ - да, как указал Кристофер.

Однако я бы сказал, что в программировании тоже есть связь. Заявления (в отличие от выражений, которые являются синтаксическими элементами, которые могут оцениваться по их значению) являются синтаксическими элементами, представляющими императивные команды. (Вы можете услышать, что в C многие выражения (например, присваивание) также являются выражениями.)

Как таковые, операторы обязательно включают некоторое изменение в состоянии программы (например, x := 5) или введение некоторого потока управления (например, GOTO 10). Вы заметите, что чисто функциональный язык (скажем, Haskell) не содержит никаких утверждений, а только выражения.

Answer 4

Это происходит от смысла глагола от "состояния".