Вступний епізод про мову програмування SPARK, де ми обговорюємо, що це таке і навіщо він потрібен, трохи історії та що увійде до серії в наступних епізодах.
Spotify: https://open.spotify.com/episode/0pRftjONwrX1CRGZbFLy3b?si=FrXKt5LYSKKcUWIiHYX9Ww
#SPARK #AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers
Після публікації видео "Updates on the Ada Ecosystem" с конференції FOSDEM 2025 на YouTube з'явився автоматичний дубляж, у тому числі українською:
https://www.ada-europe.org/archive/auj/auj-45-3-withcovers.pdf
A new issue of the Ada User Journal, "Volume 45 (2024)" has been made publicly available in the online archive. In addition to articles from the Ada Developers Workshop 2024 it includes a lengthy article on the verification of the embedded real-time control system for the Indian space rocket.
Software written in the secure subset of Ada 83 was converted to LLVM IR with Dragonegg, then verified with the llvmbmc tool.
Mechanisms for creating lock-free structures and algorithms in Ada 2022.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Механізми створення lock-free структур та алгоритмів в Ада 2022.
Вирази оголошення у Ada 2022.
Ada 2022: Declare expressions
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
В Ada 2022 атрибут T'Image застосовується до всіх типів, а не лише до скалярних, що робить його особливо корисним для налагодження.
In Ada 2022 the 'Image attribute is applicable to all types, not just scalar types, making it particularly useful for debugging purposes.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Як спростіть оператори присвоєння за допомогою символу цільового імені в Ada 2022.
Simplify assignment statements with a target name symbol in Ada 2022.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Контракти до типів вказівників на підпрограми.
Ada 2022: Contracts for Access-to-Subprogram Types.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
В Ada 2022 можна використовувати ітератори для створення агрегатів масивів/контейнерів!
In Ada 2022, you can use iterators to create array/container aggregates!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
У Ada 2022 з'явилися агрегати для контейнерів. Що це та як їх використовувати?
Ada 2022 introduces container aggregates. What are they and how do I use them?
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Навіщо до синтаксису Ada додали [квадратні дужки]? Продовжуємо разом розбиратись у стандарті Ada 2022!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Why were [square brackets] added to Ada syntax? Let's continue exploring the Ada 2022 standard together!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
