D0%B8%D0%B7%D1%83%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5gt;, в яких процес «написання» програми як тексту замінюється на процес «малювання» (конструювання програми у вигляді діаграми) на екрані ЕОМ. Візуальні мови забезпечують наочність і краще сприйняття логіки програми людиною.
У 1990-х роках lt; https: //ru.wikipedia/wiki/1990-%D0%B5_%D0%B3%D0%BE%D0%B4%D1%8Bgt; у зв'язку з активним розвитком Інтернету lt; https: //ru.wikipedia/wiki/%D0%98%D0%BD%D1%82%D0%B5%D1%80%D0%BD%D0%B5%D1 % 82 gt; поширення набули мови, що дозволяють створювати сценарії для веб-сторінок lt;http://ru.wikipedia/wiki/%D0%92%D0%B5%D0%B1-%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D0%B0gt;- Головним чином Perl lt; https: //ru.wikipedia/wiki/Perlgt ;, розвинувся з скриптового інструменту для Unix-систем, і Java lt;http://ru.wikipedia/wiki/Java_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)gt;. Зростала також і популярність технологій віртуалізації lt;http://ru.wikipedia/wiki/%D0%92%D0%B8%D1%80%D1%82%D1%83%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8Fgt;. Ці зміни, однак, також не являли собою фундаментальних новацій, будучи швидше вдосконаленням уже існуючих парадигм і мов (в останньому випадку - головним чином сімейства Сі).
В даний час розвиток мов програмування йде в напрямку підвищення безпеки і надійності, створення нових форм модульної організації коду та інтеграції з базами даних lt;http://ru.wikipedia/wiki/%D0%91%D0%B0%D0%B7%D0%B0_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85gt;.
.7 Мови програмування системного рівня
Щоб усвідомити відмінність між мовами опису сценаріїв і системними, корисно згадати історію розвитку останніх. Вперше вони з'явилися в якості альтернативи мов асемблера, що дозволяє використовувати в програмі практично всі особливості конкретної апаратної підсистеми. Кожному твердженням такої мови відповідає рівно один машинна команда, і програмісту доводиться мати справу з такими низько рівневим деталями, як розподіл регістрів і послідовності виклику процедур. У результаті написання та супровід великих програм на мові асемблера виявляється надзвичайно складною справою.
До кінця 50-х років почали з'являтися мови програмування більш високого рівня, такі як Lisp, Fortran, ALGOL. У них вже не було точної відповідності між мовними конструкціями і машинними командами. Перетворення рядків вихідного коду в послідовності двійкових команд здійснювалося компілятором. З часом їх число поповнилося мовами PL/1, Pascal, C, C ++, Java. Всі вони менш ефективно використовують апаратуру в порівнянні з мовами асемблера, але дозволяє швидше створювати додатки. В результаті їм вдалося практично повністю витиснути мови асемблера при створенні великих додатку.
1.8 Мови програмування більш високого рівня
Мови програмування системного рівня відрізняються від ассемблеров, по-перше, тим, що вони є більш високорівневими, і, по-друге, використовують більш строгий контроль типів. Термін високорівнева означає наступне: багато деталей обробляються автоматично, а програмісту для створення свого застосування доводиться писати меншу кількість рядків. Зокрема:
Розподілом регістрів займається компілятор, так що програмісту не треба писати код, що забезпечує переміщення даних між регістрами і пам'яттю;
Послідовності виклику процедур генеруються автоматично; програмісту немає необхідності описувати приміщення аргументів функції в стек і їх вилучення звідти;
Для опису структур управління програміст може використовувати також ключові слова, як if, while; послідовності машинних команд, що відповідають цим описам компілятор генерує динамічно.
Типізація
Друге розходження між мовами асемблера і мовами програмування системного рівня полягає в типізації. Я використовую цей термін для позначення того, до якої міри значення інформації буває визначено ще перш, ніж приходить час її використання в програмі. У сильно типізованих мовах потрібно, щоб програміст заздалегідь декларував спосіб використання кожного фрагмента інформації, і потім вже мовні засоби перешкоджають застосуванню її яким-небудь іншим способом. У слабко ж типізованих мовах на спосіб обробки інформації не накладається попередніх обмеження; інтерпретація кожного елемента даних визначається лише тим, як він фактично використовується, без урахування будь-яких попередніх оголошенні.
Сучасні комп'ютери влаштовані таким чином, що їм не відомо поняття типу. Кожне слово пам'яті може містити значення будь-якого типу; ціле число, число з плаваючою комою, покажчик ...
