A Linux Foundation, um consórcio tecnológico sem fins lucrativos responsável pela gestão de inúmeros projectos de código aberto, anunciou recentemente a criação da TLA+ Foundation. Esta nova organização tem como objectivo incentivar a adopção e o avanço da linguagem de programação TLA+, tendo como principais membros iniciais a AWS, a Oracle e a Microsoft.
A TLA+ é uma linguagem de especificação formal concebida pelo cientista da computação e matemático da Microsoft Research Leslie Lamport. Lamport, conhecido pelas suas contribuições significativas para os sistemas distribuídos, concebeu a TLA+ para modelar, documentar, conceber e verificar programas de software concorrentes e distribuídos.
Por exemplo, a ElasticSearch, a empresa por detrás do motor de busca com o mesmo nome, utilizou o TLA+ para confirmar a exactidão dos seus algoritmos de sistemas distribuídos. Noutro caso, o fabricante de sistemas eléctricos Thales utilizou o TLA+ para desenvolver e modelar módulos tolerantes a falhas para a sua plataforma de controlo industrial.
Um porta-voz da Linux Foundation explicou num email ao TechCrunch que o TLA+ se concentra na especificação de um sistema e não na implementação de software. Ele se baseia em princípios matemáticos como a teoria dos conjuntos e a lógica temporal, permitindo que os desenvolvedores expressem formalmente as propriedades de correção desejadas de um sistema.
Com um verificador de modelos e um provador de teoremas incorporados, o TLA+ verifica se as especificações de um sistema cumprem as propriedades pretendidas. Estas ferramentas ajudam os programadores a raciocinar sobre os sistemas acima do nível do código, ajudando-os a encontrar e a corrigir potenciais falhas de concepção antes das fases posteriores da engenharia de software. Como as falhas de concepção de software são generalizadas e podem ser desastrosas, a utilização do TLA+ pode ajudar a garantir um desenvolvimento de software mais seguro e eficiente.
Como parte de sua missão, a Fundação TLA+ oferecerá treinamento e recursos educacionais, financiará iniciativas de pesquisa, desenvolverá novas ferramentas e promoverá uma comunidade de usuários do TLA+. Também participará na evolução da linguagem, tomando decisões sobre melhorias, respondendo ao feedback dos utilizadores e orientando o seu progresso.
A Linux Foundation tem como objectivo aumentar a visibilidade e o apoio à TLA+ através da criação de uma fundação específica sob a sua alçada. Como resultado, a linguagem de programação poderá ganhar uma adopção mais ampla na indústria tecnológica. Empresas como a Amazon, a Oracle e a Microsoft já utilizaram com êxito a TLA+ para conceber sistemas à escala planetária. A Linux Foundation também procura fazer avançar os métodos formais e a investigação de sistemas concorrentes e distribuídos, encorajando uma maior colaboração entre a indústria e o meio académico.
À medida que o movimento no-code, low-code continua a crescer em popularidade, plataformas como <a href=https://appmaster.io>AppMaster.io estão a transformar o panorama do desenvolvimento de aplicações. Ao enfatizar a simplicidade e a usabilidade, a plataforma <a href=https://appmaster.io/how-to-create-an-app>AppMaster permite que as empresas desenvolvam aplicativos da Web, móveis e de back-end sem precisar de um conhecimento extenso de codificação. Em combinação com iniciativas como a Fundação TLA+, o AppMaster ajuda a tornar o desenvolvimento de software mais acessível e eficiente para todos.
