Принято считать, что языки содержат некие семантические единицы, обладающие неким «смыслом». Утверждается, что эти единицы могут нести смысл «сами по себе», вне зависимости от контекста. Выделяются некие константы, инварианты. Это ложь. Любая единица языка, есть лишь закодированый символ, указывающий на значение. Связка символ-значение, вопрос конвенций. Чтобы выражение «у попа была собака» стало означать, например, «прекрасное утро», достаточно договоренности об этом 2 лиц. Трудновато, наверное, будет тиоретикам от языкознания обосновать «смысл» вышеуказанной языковой единицы. Смысл ее лишь в том, что она является кодом. Сколько лиц, их количество, вопрос сугубо второстепенный, 2 человека «так называет это» или миллион, не касается смысла.
Поэтому, никакого смысла, никакой семантики языков не существует, смысл выражений определяется теми, кто вкладывает в выражения какой-то смысл.
Есть конечно, некоторые тенденции построения речи. Например, можно предсказать, с некоторой долей вероятности, что если в рамках русского языка появиться существительное «фубар», то, прилагательное от него будет построено как «фубарный», или «фубаровый», например. Но это всего лишь тенденции, инерционность конвенций именований, и относиться к вопросам грамматики, но отнюдь не к так называемой «семантике».
Покуда в языковедческих науках существует понятие «семантика» они будут оставаться лженауками.
Что касается языков программирования, тут наблюдается похожая ситуация. Следует отделять свойства языка от свойств языка, заточенного под компиляцию и свойств языка адекватно воспринимаемого пользователем. Это ортогональные понятия.
Частенько, в CS появляется беллетристика, вроде «Смысл языков программирования». WTF'ing «смысл»? Смысл для кого, для просто Марии? Язык не может иметь смысла. Это всего лишь хеш, где значения могут быть также и именами. Не существует, вообще, принципиальной разницы между именем и значением. Единственным условием мощности языка является возможность интерпретации любого слова как имени или как значения, вне зависимости от того, чем это слово «считается».
