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

реклама
АДА – ИДЕАЛЬНЫЙ БАЗОВЫЙ ЯЗЫК
ОБРАЗОВАНИЯ В ОБЛАСТИ
НФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
В.О.Мищенко,
Харьковский национальный университет
(mischenko@univer. Kharkov.ua)
С.И.Рыбин,
Московский Государственный Университет /
AdaCore
([email protected])
1
О чем пойдет речь:
Ада в университетах:
Первый язык
обучения - 117:
US-62, Europe-46.
Программрование
для продолж.- 33.
Участие в
GNAT Academic
Program
- 109:
Europe-60,US-32,
PostSov-6,else-11
• Базовый язык образования для специальностей, связанных с ИнфТех
– здесь язык – не столько цель,сколько
важнейший инструмент обучения
– учтём, однако, быстрый рост армии
разработчиков встроенного ПО и СРВ
• Три больших «почему» доклада:
– ПОЧЕМУ у «нас» начинают с языков
коммерческих систем программирования в среде коммерческой ОС?
– ПОЧЕМУ у«них» университет ставит
лицензионные бесплатно ОС и такие же системы программир.( GNU,
GNAT), нередко предпочитая Аду?
• ПОЧЕМУ мы предлагаем отечественным университетам язык Ада?
2
Варианты выбора базовых языков
• MS С/С++ /C#, Pascal-Delphi, Java (Windows 95/XP)
• Хороши ли эти языки в качестве базовых?
– основы алгоритмов и структур данных на базе С?
– параллельное программирование на базе Java?
– проектирование, реализация и сопровождение больших систем
на базе Паскаля?
– надежность программного обеспечения на базе ???
• Но почему же они используются???
– сиюминутный запрос «рынка» (недоразвитого внутреннего и
плохо понятого внешнего);
– правовой нигилизм, вера в неистребимость халявы и у
студентов, и у преподавателей;
– традиции учебной и методической литературы на русском
языке;
– часто ли преподаватель занят в индустрии или в большом
программном проекте?
3
Знакомьтесь – Lady Ada!
• Ада разработана международными усилиями ок. 1980 по заказу
правительства США как единый язык для военных встроенных
систем;
• Язык стандартизован в 1983 году на уровне ANSI, в 1987 – ISO
(ISO/IEC 8652), а затем стандарт Ады дважды
пересматривался с полным сохранением совместимости;
• С 1997г.Аду освободили от опеки Пентагона, и, будучи
универсальным языком, она от этого значительно выиграла !
• Ада одновременно предоставляет и прозрачный код и ряд
уникальных (отсутствующих в других языках) возможностей.
• Любой из современных индустриальных языков эквивалентен
технологическому подмножеству Ады;
• Учебный язык Паскаль целиком «вкладывается» в Аду не только
функционально, но и синтаксически !
4
Адская альтернатива
•
•
•
•
•
•
Обучение азам программирования на Аде сохраняет все методики
Паскаля. Но Ада – современная индустриальная технология, и
позже даёт выигрыш в курсах профессиональной ориентации;
В частности, Ада-технологии платформонезависимы (одинаково
выглядят и работают в платных MS Windows, в бесплатном Linux’е
или в модном Solaris’е)
Использование в Вашем университете ведущей системы Адапрограммирования - GNAT может быть бесплатным да ещё и с
фирменной техподдержкой (!!!) в рамках проекта AdaCore GAP;
http://www.adacore.com/home/academia/)
Для квалифицированных преподавателей переход на Аду проще
и дешевле, чем можно думать! Непараллельная часть языка
осваивается зрелым программистом за 3 дня.
За последние годы ликвидирован дефицит в оригинальных
учебниках на русском языке.
Методические Ада-материалы, посвящен. стилю, графическим
средствам, связям с БД и т.п.– см. http://www.ada-ru.org
5
Функциональные обязанности
базового языка
состоят в том, что он
--гарантируя прозрачность организации ввода-вывода,
with Text_IO, Ada.Integer_Text_IO;
use Text_IO, Ada.Integer_Text_IO;
--обеспечивает должную абстракцию алгоритма,
procedure Hi_Students (N: Natural) is
--абстракцию даных,
type Student is (Ann, Ben, Dic, Val, Vic);
List : array (1..N) of Student;
-- 0..5
--модульность (хорошо б, с раздельной компиляцией!)
function Num_In_List (S: Student)
return Natural is separate;
6
обязанности базового языка в обучении (прод.)
--предлагает понятную нотацию, традиционные типы,
K, Num: Integer;
Str: String(1..3);
OK: Character;
--включает классический набор операторов,
begin K:= 1;
while K<=N
loop Get (Num);
if Num in 0..10 then
List (K):= Student'Val(Num);
end if;
end loop;
K:= K+1;
--полный набор средств форматирования в/в на консоль,
for L in 1..N
Loop
New_Line; Put("Hi, ");
Get (Str);
Put ("Your number is ");
Put ( Num_in_List (Student'Value(Str) ), 1);
end loop;
New_Line; Put("OK? "); Get(OK);
7
--обеспечивает средства надёжного программирования.
exception
when Constraint_Error =>
Put("? Bad Name Error ");
end Hi_Students;
Get(OK);
--В общем, надёжно поддерживает алгоритмическую
--мысль, не запутывая её лишними
--«наворотами» и исключениями из правил.
with Hi_Students;
procedure Demo is
begin
Hi_Students (7);
end Demo;
Требования эти обеспечивает
непринуждённо леди Ада, восприемница
сэра Паскаля, устраняя его недочёты.
И выглядит она всегда не старше 10 лет! 8
Язык Ада (в честь Ады Лавлейс),
• разрешите
познакомиться
ближе?
9
Классические структуры данных в Аде
Массивы (регулярные типы):
type My_Arr is array (Integer range <>) of Integer;
...
Записи (комбинированные типы):
type Big_Ind is range 0 .. 1024;
subtype Ind is Big_Ind range 1 .. Big_Ind’Last;
function “+” ( L, R : My_Arr ) return My_Arr is
Res
:
My_Arr (L’Range);
Move : constant Integer := R’First - L’First;
begin
if L’Length /= R’Length then
raise Constraint_Error;
type Big_Str is array (Ind range <>) of
Character;
type Var_String (Len : Big_Ind := 0) is
record
Str : Big_Str (1 .. Len );
end record;
else
for J in L’Range loop
Res (J) := L (J) + R (J + Move);
end loop;
end if;
Str1 : Var_String;
...
Str1 := (Len => 3, Str => “Ada”);
Str1 := (Len => 6, Str => “Pascal”);
Str := (Len => 10, Str => “C++”);
return Res;
end “+”;
...
Arr1 : My_Arr (1 .. 10) :=
(1 .. 5 => 1, 6 .. 10 => 2);
Arr2 : My_Arr (101 .. 110) := (others => 13);
Arr3 : My_Arr := Arr1
+
Arr2;
10
NewПараллелизм
и системы реального
времени
• Ада – единственный индустриальный язык,
предоставляющий высокоуровневые средства работы с
асинхронными процессами:
– программные модули, описывающие асинхронные
процессы;
– структуры данных, доступ к которым возможен только в
режиме взаимного исключения;
– конструкции, обеспечивающие синхронизацию процессов и
обмен данными;
– конструкции, позволяющие процессу выбирать варианты
своего поведения в зависимости от ситуации;
• Все это реализовано языковыми конструкциями, а не
библиотечными вызовами!
11
Два асинхронных процесса на 20 строк кода
with Ada.Text_IO;
2 procedure Tasking_Example is
3
Finished : Boolean := False;
4
pragma Atomic(Finished);
процесс
Tasking_Example
5
6
task Outputter; -- task specification
7
8
task body Outputter is -- task body
9
Count : Integer := 1;
10
begin
11
while not Finished loop
12
Ada.Text_IO.Put_Line(Integer'Image(Count));
13
Count := Count + 1;
14
delay 1.0; -- one second
15
end loop;
16
Ada.Text_IO.Put_Line("Terminating");
17
end Outputter;
18
19 begin
20
delay 20.0; -- twenty seconds
процесс
21
Finished := True;
Outputter
22 end Tasking_Example;
1
12
Надежный разделяемый буфер в Аде
-- определение
-- реализация:
protected type Bounded_Buffer is
entry Put (X: in Item);
entry Get (X: out Item);
private
A
: Item_Array(1 .. Max);
I, J : Integer range 1 .. Max := 1;
Count : Integer range 0 .. Max := 0;
end Bounded_Buffer;
protected body Bounded_Buffer is
--
использование:
My_Buffer : Bounded_Buffer;
...
My_Buffer.Put (Some_Data);
..
My_Buffer.Get (Some__Other_Data);
entry Put (X: in Item)
when Count < Max
is
begin
A(I) := X;
I
:= I mod Max + 1;
Count := Count + 1;
end Put;
entry Get (X: out Item)
when Count > 0
is
begin
X
:= A (J);
J
:= J mod Max + 1;
Count := Count - 1;
end Get;
end Bounded_Buffer;
13
Что еще в Аде есть такого, чего
больше нет нигде:
• «Максимальная» модель модульности;
• Действительно строгая и тотальная типизация;
• Механизм подтипов и динамический контроль
определяемых ими ограничений;
• «Активная и пассивная безопасность» - борьба языковых
механизмов за надежность создаваемого кода;
• Полноценная поддержка объектно-ориентированного
программирования, не использующая нарочито
оформленную конструкцию «класс» или «объект»;
• Отсутствие диалектов и параллельных стандартов;
• ASIS как основа инструментов анализа исходного текста;
14
Русскоязычная учебная
литература
•
Оригинальные учебники
1.
Гавва. А.Е. Адское программирование. Ада-95. GNAT.
http://ada-ru.org/V-0.4/index.html
Жуков И.,Корочкин А. "Параллельные и распределенные
вычисления«. - Киев, Корнейчук, 2005, - 226 с. (ISВN 966-7599-36-1)
Корочкин А. "Ada 95. Введение в программирование" - Киев, Век,
1998 - 226 с. (ISВN 966-952-82-0-8)
2.
3.
•
1.
2.
•
1.
2.
Переводные книги, не утратившие актуальность
Василеску Ю. Прикладное програмирование на языке Ада.- М.:
Мир. 1990.- 348 с.
Бар Р. Язык Ада в проектировании систем.- М.: "Мир.-1988.
Некоторые учебно-методические тексты (http://ada-ru.org)
Ада 95.Качество и стиль.[Ada 95 Quality and Style Guide.-1995], главы 1-4,
перевод с англ. А.Огородника.-2006
Руководство пользователя GtkAda [GtkAda User's Guide. Version 1.2.12.2001], Перевод Copyright (C) 2003 А.Гавва
15
Пример из учебного плана
специальность «Информ.упр.системы и технологии» в
Харьковском национальном университете им.В.Н. Каразина
Основы программир. и
алгоритмич. языки
Сем. 1-2 , 162 час
Базов.ЯП
Базов.ЯП
это Ада ? !
Объектно-ориент.
программирование
Сем. 2-3 , 162 час
Базов.ЯП, С++
Технологии программирования
и сздания программн.продуктов
Сем. 4 , 108 час. Базов.ЯП,
Средства разработ.интерфейсов
Системн.программир. и ОС
Сем. 5-6 , 216 час
Базов.ЯП, ассемблер, С/С++
Языки программ.
Сем. 7, 189 ч.
Лисп, Java, PHP
срав.с Базов.ЯП
Параллельные
выч.процессы
Сем. 8, 106 ч.
Ада/GLADE
Компьютерное обеспечение
наукоёмких технологий, С. 9, 108 ч.
Предмет-ориент.системы и ЯП
Организация БД изнаний,
Сем. 6, 108 час
SQL, Пролог
Практикум по
моделир. систем, С. 8, 135ч.
Базов.ЯП
Тестирование и
верификация ПО
Сем. 8, 81 ч.
Базов.ЯП
Разработка больших программных
… систем, С. 9-10, 216 ч., Ада,
Средства разработки интерфейсов
16
Эксперимент с проверкой заменимости Паскаля
на Аду в существующем учебном практикуме фта ВМК МГУ
Студенческое выполнение заданий на двух языках
со сравнительной оценкой преимуществ
(Кошелева И.И, гр.324, 2006 )
№
Содержание задания
Преимущества/Недостатки
1
1D-массивы,
арифметические
операции
при разработке Ада-версии
отмечается больше мелких удобств
2
2D-массивы
в Ада-версия проще использовать
функции
3
синтаксический разбор
средства Ады работы со ссылками
выше по уровню
4
поиск и множества
в Паскаль встроен механизм работы с
множествами, в Аде-2005 добавлены
контейнеры-множества
5
простейшая база данных
эквивалентные версии
17
Выводы
• Ада-технологии - неотъемлемая часть современных
индустриальных ИТ, и в то же время они заняли в мире
устойчивый сектор в образовании, как начальном, так и
профессионально ориентированном
• Индустрия и университеты постсоветстких стран вскоре
выйдут на этот уровень. Это коснется классических,
авиационных, отчасти, технических вузов и колледжей
• Сложились условия вводить Аду как базовый язык
обучения без риска и денежных затрат
• Стоит продумать и пробовать!
18
Скачать