Powołana 21 kwietnia LA+ Foundation postawiła sobie za cel edukację i szkolenia, finansowanie badań na językiem TLA, projektowanie towarzyszących temu językowi narzędzi. Członkami założycielami fundacji są firmy żywo zainteresowane rozwojem tej platformy deweloperskiej: Oracle, Microsoft i Amazon Web Services.

Twórcą języka jest Leslie Lamport (naukowiec pracujący w Microsoft Research). TLA+ jest obecnie używany do debugowania programów i weryfikacji złożonych systemów oprogramowania oraz identyfikowania różnego rodzaju błędów znajdujących się w kodzie, realizując to zadanie na wczesnym etapie procesu projektowania aplikacji. Podstawą działania TLA+ jest przekonanie, że najlepszym sposobem na precyzyjne opisanie rzeczy jest matematyka. Według Linux Foundation, to właśnie ona nadaje się najlepiej do eliminowania podstawowych błędów projektowych, które normalnie są trudne do znalezienia i zabierają programistom mnóstwo czasu.

Zobacz również:

• Microsoft zapowiada nową linię małych modeli językowych AI
• Premiera GitHub Copilot Enterprise
• Awans języka programowania Go

Jedną z firm, który używa obecnie tego języka Oracle, wykorzystując ten język do modelowania ponad 25 usług świadczonych przez Oracle Cloud Infrastructure, w tym usług stosowanych do przechowywania plików, weryfikowania poprawności złożonych scenariuszy projektowych, uruchamiania procesów związanych z replikowaniem danych czy aktualizowaniem systemów IT realizowanych w trybie online.