Çok sayıda açık kaynak projesini yönetmekten sorumlu, kar amacı gütmeyen bir teknoloji konsorsiyumu olan Linux Vakfı, yakın zamanda TLA+ Foundation kurulduğunu duyurdu. Bu yeni kuruluş, AWS, Oracle ve Microsoft'un kilit ilk üyeler olduğu TLA+ programlama dilinin benimsenmesini ve ilerlemesini teşvik etmeyi amaçlıyor.
TLA+ bilgisayar bilimcisi ve Microsoft Research matematikçisi Leslie Lamport tarafından tasarlanan resmi bir belirtim dilidir. Dağıtık sistemlere yaptığı önemli katkılarla tanınan Lamport, eşzamanlı ve dağıtık yazılım programlarının modellenmesi, belgelenmesi, tasarlanması ve doğrulanması için TLA+ yı tasarladı.
Örneğin, kendi adını taşıyan arama motorunun arkasındaki şirket ElasticSearch, dağıtılmış sistem algoritmalarının doğruluğunu doğrulamak için TLA+ kullandı. Başka bir örnekte, elektrik sistemleri üreticisi Thales, endüstriyel kontrol platformu için hataya dayanıklı modüller geliştirmek ve modellemek üzere TLA+ yı kullandı.
Linux Foundation'ın bir sözcüsü, TechCrunch'a gönderdiği bir e-postada, TLA+ yazılım uygulamak yerine bir sistem belirlemeye odaklandığını açıkladı. Set teorisi ve zamansal mantık gibi matematiksel ilkelere dayanır ve geliştiricilerin bir sistemin istenen doğruluk özelliklerini resmi olarak ifade etmelerini sağlar.
Yerleşik bir model denetleyicisi ve teorem kanıtlayıcı ile TLA+, bir sistemin özelliklerinin amaçlanan özellikleri karşılayıp karşılamadığını doğrular. Bu araçlar, yazılım mühendisliğinin sonraki aşamalarından önce potansiyel tasarım kusurlarını bulmalarına ve düzeltmelerine yardımcı olarak, geliştiricilerin kod seviyesinin üzerindeki sistemler hakkında akıl yürütmelerine yardımcı olur. Yazılım tasarımı hataları yaygın olduğundan ve felakete yol açabileceğinden, TLA+ nın kullanılması daha güvenli ve daha verimli yazılım geliştirmenin sağlanmasına yardımcı olabilir.
TLA+ Foundation, misyonunun bir parçası olarak eğitim ve öğretim kaynakları sunacak, araştırma girişimlerini finanse edecek, yeni araçlar geliştirecek ve TLA+ kullanıcılarından oluşan bir topluluğu teşvik edecektir. Ayrıca iyileştirmeler hakkında kararlar alarak, kullanıcı geri bildirimlerini ele alarak ve ilerlemesine rehberlik ederek dilin gelişimine katkıda bulunacaktır.
Linux Vakfı, kendi çatısı altında özel bir vakıf kurarak TLA+ nın görünürlüğünü ve desteğini artırmayı hedefliyor. Sonuç olarak, programlama dili teknoloji endüstrisinde daha geniş bir kabul görebilir. Amazon, Oracle ve Microsoft gibi şirketler, gezegen ölçeğinde sistemler tasarlamak için TLA+ başarıyla kullandı. Linux Vakfı ayrıca endüstri ve akademi arasında daha fazla işbirliğini teşvik ederek resmi yöntemleri ve eşzamanlı ve dağıtık sistem araştırmalarını ilerletmeyi amaçlamaktadır.
no-code, low-code hareketi popülaritesini artırmaya devam ederken, appmaster .io> AppMaster.io gibi platformlar uygulama geliştirme ortamını dönüştürüyor. appmaster .io/how-to-create-an-app> AppMaster platformu, sadeliği ve kullanılabilirliği vurgulayarak işletmelerin kapsamlı kodlama bilgisi gerektirmeden web, mobil ve arka uç uygulamaları geliştirmesine olanak tanır. TLA+ Foundation gibi girişimlerle birlikte AppMaster, yazılım geliştirmeyi herkes için daha erişilebilir ve verimli hale getirmeye yardımcı olur.
