Исходное сообщение
"Выпуск Lazarus 3.0, среды разработки для FreePascal " Отправлено Аноним, 22-Дек-23 20:14
Ну если тебе слово семантика приходится гуглить - тады ой, непонятно чем ты 20 лет занимался) Если просто и своими словами, то это возможность и наличие ортогональных средств формального выражения предметной области. Если ты площадь фигуры вычисляешь линейкой на глазок - это кривая семантика. А интеграл - прямая. Попробуй, например, изобразить на механизме классов Паскаля/Дельфи функторы. А в нормальных модульных языках - запросто. Нормальные ЯП ортогональны, т.е. не содержат пересекающихся средств для одной задачи. А также не содержат непредсказуемых конструкций вроде указателей. С функциональными ЯП вообще можно работать чисто формальными методами, не задумываясь. Что, кстати, открывает убер возможность автоматической верификации. Язычкам вроде паскаля или сишки это вообще не снилось.