La Fundación Linux, un consorcio tecnológico sin ánimo de lucro responsable de la gestión de numerosos proyectos de código abierto, ha anunciado recientemente la creación de la Fundación TLA+. Esta nueva organización pretende fomentar la adopción y el avance del lenguaje de programación TLA+, con AWS, Oracle y Microsoft como miembros iniciales clave.
TLA+ es un lenguaje de especificación formal concebido por el informático y matemático de Microsoft Research Leslie Lamport. Lamport, conocido por sus importantes contribuciones a los sistemas distribuidos, diseñó TLA+ para modelar, documentar, diseñar y verificar programas de software concurrentes y distribuidos.
Por ejemplo, ElasticSearch, la empresa que está detrás del motor de búsqueda del mismo nombre, utilizó TLA+ para confirmar la precisión de los algoritmos de sus sistemas distribuidos. En otro caso, el fabricante de sistemas eléctricos Thales utilizó TLA+ para desarrollar y modelar módulos tolerantes a fallos para su plataforma de control industrial.
Un portavoz de la Fundación Linux explicó en un correo electrónico a TechCrunch que TLA+ se centra en especificar un sistema más que en implementar software. Se basa en principios matemáticos como la teoría de conjuntos y la lógica temporal, lo que permite a los desarrolladores expresar formalmente las propiedades de corrección deseadas de un sistema.
TLA+ incorpora un verificador de modelos y un comprobador de teoremas para comprobar si las especificaciones de un sistema cumplen las propiedades deseadas. Estas herramientas ayudan a los desarrolladores a razonar sobre los sistemas por encima del nivel de código, ayudándoles a encontrar y corregir posibles fallos de diseño antes de las fases posteriores de la ingeniería de software. Dado que los fallos en el diseño de software están muy extendidos y pueden ser desastrosos, la utilización de TLA+ puede ayudar a garantizar un desarrollo de software más seguro y eficiente.
Como parte de su misión, la Fundación TLA+ ofrecerá formación y recursos educativos, financiará iniciativas de investigación, desarrollará nuevas herramientas y fomentará una comunidad de usuarios de TLA+. También participará en la evolución del lenguaje tomando decisiones sobre mejoras, atendiendo a los comentarios de los usuarios y guiando su progresión.
La Fundación Linux aspira a impulsar la visibilidad y el apoyo a TLA+ mediante el establecimiento de una fundación dedicada bajo su paraguas. Como resultado, el lenguaje de programación podría obtener una mayor adopción en toda la industria tecnológica. Empresas como Amazon, Oracle y Microsoft ya han utilizado con éxito TLA+ para diseñar sistemas a escala planetaria. La Fundación Linux también pretende hacer avanzar los métodos formales y la investigación en sistemas concurrentes y distribuidos fomentando una mayor colaboración entre la industria y el mundo académico.
A medida que el movimiento no-code, low-code sigue ganando popularidad, plataformas como <a href=https://appmaster.io>AppMaster.io están transformando el panorama del desarrollo de aplicaciones. Al hacer hincapié en la sencillez y la facilidad de uso, la plataforma <a href=https://appmaster.io/how-to-create-an-app>AppMaster permite a las empresas desarrollar aplicaciones web, móviles y de backend sin necesidad de amplios conocimientos de codificación. En combinación con iniciativas como la Fundación TLA+, AppMaster contribuye a que el desarrollo de software sea más accesible y eficiente para todos.