Язык с энергичной семантикой – ML и два его диалекта Standard ML (SML) и CaML.
Языки с ленивой семантикой – Haskell и Clean.
Языкилогическогопрограммирования
Программы на них выражены как формулы математической логики . Prolog – 1971 г.
Потомки:
Parlog – 1983 г. , ориентирован на параллельные вычисления .
Delta Prolog.
3 Классификация языков программирования
По поколениям – Generation Language (GL): 1GL – система команд
2GL – машинно-ориентированные языки 3GL – языки высокого уровня
4GL – объектно-ориентированные языки 5GL – интеллектуальные языки
По уровню:
Языки программирования
Языки высокого уровня
Процедурные языки (Fortran, Cobol, PL/1, Algol, Pascal, C, Ada, …)
zЯзыки обработки данных (LISP, APL, Snobol, Icon, SETL, …)
zОО-языки (Smalltalk, Simula, Eiffel, C++, Ada95, …)
z…
Языки низкого уровня zМашинные языки zЯзыки ассемблеров
Языкивысокогоуровняхарактеризуются
наличием понятия типа данных,
независимостью от архитектуры конкретного компьютера (мобильностью программ),
развитыми управляющими структурами и средствами описания структур данных,
близостью к естественному языку.
8