ань, чим більш безпосередньо реалізуються складні операції і поняття, чим менше обсяг отримуваних програм, тим вище рівень мови.
Концептуальна цілісність мови, у свою чергу, характеризується сукупністю понять, службовців для опису цієї мови, і включає три взаємопов'язаних аспекти: економію, ортогональность і однаковість понять. Економія понять припускає досягнення максимальної потужності мови за допомогою мінімального числа понять. Ортогональность понять означає, що між поняттями не повинно бути взаємного впливу. Так, якщо будь-яке поняття використовується в різних контекстах, то правила використання повинні бути одні й ті ж. Единбурзі понять вимагає узгодженого, єдиного підходу до опису та використанню всіх понять.
Зазвичай чим менше потужність мови (тобто чим вже область його застосування), тим вище його рівень. З цієї причини поряд з універсальними мовами розробляються і спеціалізовані мови в деякій конкретній області. Звичайно, чим потужніший мову, тим важче забезпечити концептуальну цілісність; в той же час високий рівень мови безпосередньо пов'язаний з концептуальною цілісністю.
Перераховані характеристики мов програмування визначають наявність або відсутність властивостей: надійності, удобочитаемости, повноти, гнучкості, простоти. Ці властивості дозволяють найбільш детально порівнювати мови.
Надійність мови забезпечує мінімум помилок при написанні програм. Для цього мова має бути таким, щоб було важко робити помилки, не виявляються при компіляції. Наприклад, завдяки наявності в мові вимоги, щоб всі змінні були оголошені до використання, помилки, пов'язані з неправильним написанням імен, виявляються при компіляції (тобто автоматично). Мова повинен захищати програміста від нього самого, зробивши важким або навіть неможливим появу деяких помилок. Так, погано, якщо можна зробити одне і те ж більш ніж одним способом: зайва можливість вибору може призвести до помилки. Прикладом більш тонкої захисту програміста є трактування відносини рівності: оскільки точне рівність двох чисел з плаваючою точкою є не що інше, як вдалий збіг, то розумно визначити його як приблизна рівність з деякою точністю.
Удобочитаемость мови - це властивість, що забезпечує легкість сприйняття програм людиною. Удобочитаемость залежить від широкого спектру факторів, що включає, з одного боку, вибір ключових слів, а з іншого - можливість модулерізаціі програми. Головне, щоб нотація мови дозволяла при читанні програми легко виділяти основні поняття кожної конкретної частини програми, не звертаючись до супроводжуючих її описам.
Високий ступінь удобочитаемости виявляється корисною з різних точок зору. По-перше, зменшується складність документування, якщо центральним елементом документації є сама програма. По-друге, удобочитаемость дозволяє легше супроводжувати програму: ясно, що істотні зміни в програмі можуть бути зроблені лише тоді, коли її робота розуміється абсолютно правильно.
Очевидно, що реалізація вимог удобочитаемости залежить від самого програміста, який повинен постаратися якомога чіткіше структурувати свою програму і так розташувати її текст, щоб підкреслити цю структуру. Тим не менш, важливу роль відіграє і використовуваний програмістом мову. На нижніх рівнях програмних конструкцій мова повинна забезпечити можливість чіткої специфікації того, які об'єкти даних піддаються обробці і як вони використовуються. Ця інформація визначається вибором ідентифікаторів і специфікацій типів даних.
Програміста не потрібно змушувати вдаватися до штучних побудов, вводячи в мову такі обмеження, як максимальна довжина ідентифікатора або певні фіксовані типи даних. Алгоритмічні структури повинні виражатися в термінах легко зрозумілих структур управління. Ключові слова не слід зводити до абревіатур, а символи операцій повинні бути вибрані так, щоб вони відображали їхній зміст. На більш високих рівнях програмних конструкцій мова повинна забезпечувати можливість модулерізаціі. Загальна поведінка програми набагато легше зрозуміти, коли вона складена з ряду автономних одиниць, кожна з яких повинна бути зрозуміла поза зв'язку з іншими частинами програми.
Повнота мови забезпечує опис мовою вирішення завдань певної предметної області, а також за допомогою засобів мови, наприклад засобів налагодження, процесу розробки програм.
Гнучкість мови забезпечує легкість вираження на мові необхідних для вирішення завдань дій, надає програмісту достатньо можливостей для вираження всіх операцій в програмі.
Простота мови забезпечує легкість розуміння семантики мовних конструкцій і запам'ятовування їх синтаксису. А це в свою чергу дозволяє зменшити витрати на навчання програміста і ймовірність здійснення помилок, що виникають в результаті неправильної інтерпретації ...
