Мова програмування TLA+ (Temporal Logic of Actions), яка до цього часу була під наглядом Microsoft, тепер буде підтримуватися і просуватися новою некомерційною організацією, створеною Linux Foundation.
Заснована 21 квітня, LA+ Foundation поставила собі за мету освіту та навчання, фінансування досліджень мови TLA, а також розробку супутніх інструментів для цієї мови. Членами-засновниками фонду є компанії, які зацікавлені в розвитку цієї платформи для розробників: Oracle, Microsoft та Amazon Web Services.
Для чого потрібна мова програмування TLA+?
Творцем мови є Леслі Лампорт (дослідник, що працює в Microsoft Research). Наразі TLA+ використовується для налагодження програм та верифікації складних програмних систем, а також для виявлення різних типів помилок, знайдених у коді, виконуючи це завдання на ранній стадії розробки додатків. В основі TLA+ лежить віра в те, що найкращим способом точного опису речей є математика. На думку Linux Foundation, він найкраще підходить для усунення базових помилок проектування, які зазвичай важко знайти і які забирають у розробників багато часу.
Однією з компаній, яка наразі використовує її, є Oracle, яка використовує мову для моделювання понад 25 послуг, що надаються хмарною інфраструктурою Oracle, в тому числі для зберігання файлів, перевірки складних проектних сценаріїв, запуску процесів, пов'язаних з реплікацією даних або оновленням ІТ-систем, які працюють в Інтернеті.
