Понятность

Критерии оценки языков программирования

Объектно-ориентированные языки

........

Декларативные языки

Языки функционального программирования

В языках функционального программирования (аппликативных языках) вычисления производятся путем применения функций к заданному набору данных.

Общий вид программы:

функция_n (… функция₂ (функция₁ (данные)) …)

Самый известный язык LISP и два его диалекта:

язык Common LISP и язык Scheme.

Основная структура данных – список: (K L M N)

Область применения – системы искусственного интеллекта.

Другие языки функционального программирования: ML (MetaLanguage), Miranda и Haskell.

Программирование как на императивных, так и на функциональных языках является процедурным. Это значит, что программы на этих языках содержат указания, как нужно выполнять вычисления.

Декларативные языки программирования – это ЯП, в которых операторы представляют собой объявления или высказывания в символьной логике.

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

Общий вид программы:

Разрешающее условие 1 ® последовательность операторов 1

Разрешающее условие 2 ® последовательность операторов 2

Разрешающее условие n ® последовательность операторов n

Декларативная семантика – смысл каждого оператора не зависит от того, как этот оператор используется в программе.

Наиболее известный – язык Prolog. Язык синтаксического разбора – YACC – Yet Another Compiler Compiler.

Концепция ООП складывается из трех ключевых понятий: абстракция данных, наследование и полиморфизм.

Абстракция данных позволяет инкапсулировать множество объектов данных и набор абстрактных операций над этими объектами данных, ограничивая доступ к данным только через определенные абстрактные операции.

Наследование – это свойство классов создавать из базовых классов производные, которые наследуют свойства базовых классов и могут содержать новые элементы данных и методы.

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

Разработка ООП программ заключается в построении иерархии классов, описывающих отношения между объектами, и в определении классов.

Примеры ООП языков: Smalltalk, Ada 95, Java и C++.

Современные языки программирования: FORTRAN, Ada, C, Pascal, Java, ML, LISP, Perl, Postscript, Prolog, C++, Smalltalk, Forth, APL, BASIC, HTML, XML.

Общие свойства языков программирования:

Понятность (удобочитаемость) конструкций языка – это свойство, обеспечивающее легкость восприятия программ человеком.

Почему полезна высокая степень понятности конструкций языка:

§ Уменьшаются требования к документированию проекта, если текст программы является центральным элементом документации;

§ Понятность конструкций языка позволяет легче понимать программу и, следовательно, быстрее находить ошибки;

§ Высокая степень понятности конструкций языка позволяет легче сопровождать программу.

Понятный язык характеризуется тем, что семантические различия языка отражаются в его синтаксисе.

Неизбежной платой за выполнение требования высокой степени понятности является увеличение длины программы.

Дата добавления: 2014-01-13