Мова програмування vala: контрактне програмування і бібліотека узагальнених контейнерів gee

Відео: Програмування на Python - 42 - Бібліотека pillow

контрактне програмування

Vala підтримує базові конструкції контрактного програмування requires і ensures:
double method_name (int x, double d) requires (x gt; 0 ss x = 0.0 ss d = 0.0 ss result lt; = 10.0)

Спеціальна «магічна» змінна result має тип, що повертається функцією.


Мова програмування Vala досить гнучкий, з його допомогою можна написати досить потужне і функціональне додаток, операційне середовище, яка візьме під контроль обладнання розумного будинку (https://aptech.ru/tehnologii-dom) і, звичайно ж, простеньку гру!





Бібліотека Gee в Vala виконує ту ж функцію, що STL в C ++. В Gee є структури даних і ітератори, але, на відміну від STL, в ній немає алгоритмів. Синтаксис шаблонних класів Gee дуже схожий на синтаксис C ++, так що програмісти, які звикли до шаблонним контейнерів в C ++, будуть відчувати себе як вдома. Gee містить кілька класів-колекцій, самими часто використовуваними з яких є вектор ArrayList, однозв`язний список LinkedList і асоціативний контейнер HashMap. Контейнери Gee набагато сильніше інтегровані в базова мова, ніж контейнери STL. Наприклад, будь-який контейнер можна використовувати в циклах foreach:

var list = new ArrayList () -

list.add (1) - // Додавання елементів
list.add (2) - list.add (4);
list.insert (2, 3) - // Вставка елемента
list.remove_at (3) - // Видалення елемента
foreach (int i in list) {// Інтеграція в цикл foreach
stdout.printf ( "% dn", i);
}
list [2] = 10 - // Доступ за індексом

Перевірити наявність елемента в будь-якому контейнері можна оператором in:

if (2 in list) {// Аналогічно list.contains (2)
stdout.printf ( "Двійка в списку є! n");
}

висновки

Поява будь-якого нового мови програмування незмінно викликає побоювання, що він виявиться черговим нежиттєздатним курйозом. Мова Vala благополучно уникнув цієї долі і за кілька років свого існування вже став досить популярним для написання GUI-додатків з використанням GTK +. Продуктивність Vala як компилируемого мови свідомо набагато більше, ніж у Java або С # (не кажучи вже про Python), але все ж багато особливостей реалізації не дозволяють «вичавити» з нього таку ж швидкість, як з С / С ++. Втім, це зазвичай і не потрібно, оскільки Vala - типовий «мову продуктив-ності», склеює різні бібліотеки і компоненти. По суті Vala - це «повністю вільний компільований C # без віртуальної машини». Він буде гідним доповненням до «арсеналу» будь-якого програміста, особливо працюючого з GTK +.