Язык программирования 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, в том числе для хранения файлов, проверки сложных проектных сценариев, запуска процессов, связанных с репликацией данных или обновлением ИТ-систем, работающих в Интернете.