С точки зрения программирования, что означает семантика?

Применяется словарное определение

Семантика - это (являются ли?) Все о значении слов.

Например, если вы используете .NET-тип KeyValuePair для представления чего-то ДРУГОГО, кроме ключа и значения, у вас возникнет семантическая проблема. Это может сработать ... это может быть лучшее решение, но оно не является семантически точным.

Это именно то, о чем он говорит в том сообщении в блоге. В языках типа C мы перечисляем возвращаемые типы первыми, но на самом деле возвращаемые значения идут последними. Это семантически неточно.

Семантика - это то, ЧТО мы подразумеваем, что программа должна делать. Sytax - это языковое ограничение на то, как мы выражаем семантику.

Теоретически, пока семантика программы верна, не имеет значения, на каком языке она была написана.

Насколько я понимаю, семантика - это «то, что все это значит для человека». Это то, что он разделяет, а не то, как он это делает.

Еще немного контекста из блога:

Поэтому в C вы помещаете хранилище сначала метаданные (статический int customerCount;), а не семантика в первую очередь (это могло быть var customerCount: static int;).

Он говорит, что "static int" стоит перед "customerCount". Вызов «static int» метаданных хранилища и семантики «customerCount» . Метаданные хранилища - это информация о том, что хранится в переменной - в нем неявно указано, сколько битов она занимает, какие значения она может содержать, разделяется ли она между экземплярами и ее непостоянство.

семантика , имя переменной, - это информация для читателей кода о том, что должно храниться в переменной. Что означает переменная . Вы можете назвать это «x», и программа будет работать так же хорошо, но программисту будет сложно это понять. Назвав это "customerCount", переменная получит значение,

Другими словами, учитывая контекст статьи, он говорит, что разработчикам C # было бы лучше сосредоточиться на том, как они будут хранить данные внутренне, когда была объявлена ​​переменная, и не особо заботился об указании точного метода объявления переменной.

Другими словами, делая это в C #

static int customerCount

, вы говорите компилятору подготовить хранилище для статически доступного целого числа, а затем указываете ему пометить это хранилище как customerCount

, тогда как в VB вы использовал бы эту строку

dim shared customerCount as Integer

, сообщая компилятору, теоретически, что у вас есть переменная с именем customerCount , которую он должен хранить и делать статически доступной, и, кстати, это целое число.

Все это действительно тонкое различие, вроде как.

В терминах жаргона языков программирования существует несколько понятий семантики:

• Статическая семантика сообщает вам, какие грамматические программы также хорошо сформированы. Многие языки либо не имеют статической семантики (Scheme, Ruby, Python, Icon, Lua, Perl), либо имеют статическую семантику, которая в первую очередь связана с реализацией системы типов (Java, C, C #, Haskell). «Объявление требуется перед использованием» - еще одна возможная статическая семантика. Статическая семантика отвечает на вопрос « имеет ли смысл эта программа? » и делает это во время компиляции.

• Динамическая семантика сообщает вам одно из двух:

  • Учитывая, что программа имеет смысл, каково его значение? Значение было определено математически множеством различных способов. Классическая динамическая семантика может определять функцию (или связь) между входами программы и выходами программы. Функции смысла («денотационная семантика») были впервые предложены Даной Скотт и Кристофером Стрейчи; смысловые отношения («аксиоматическая семантика») были впервые предложены Тони Хоаром. Скотт и Хоар выиграли премию Тьюринга; Стрейчи, вероятно, так бы и поступил, но он умер молодым. Хороший способ познакомиться - это прочитать книгу Тони Хора Essays in Computing Science .
  • Учитывая, что программа имеет смысл, как она будет себя вести при выполнении? . Такая семантика обычно называется «операционной семантикой» и описывает выполнение программы на некоторой абстрактной машине. Опять же, существует много-много разновидностей. Сегодня операционная семантика является предпочтительным инструментом, потому что существуют мощные методы доказательства, поэтому, например, с помощью операционной семантики вы можете доказать, что в управляемом коде никогда не бывает ошибок памяти. Робин Милнер получил свою награду Тьюринга частично за различные операционные методы, используемые для описания параллельных или многопоточных программ (CCS и вычисление числа Пи). Его книга 1999 г. о Коммуникационных и мобильных системах также очень хорошо читается, если вы пропустите доказательства: -)

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