TypeScript Derleyicisi ve JavaScript Motoru: Thales ile Tanışın
Thales, TypeScript'i Lean 4 modüllerine dönüştüren bir derleyicidir. Güvenli kod yazımını destekler.
Thales, TypeScript'in güvenli bir alt kümesini kontrol eden ve Lean 4 yan dosyası üreten bir derleyicidir. Bu araç, TypeScript modüllerini Lean modüllerine dönüştürerek mühendislerin daha güvenli ve mantıklı bir kod yazmalarını sağlar. Thales, sınıflar ve asenkron işlemler gibi bazı özellikleri reddederek, TypeScript'in ifade edemediği anlamları Lean ile uyumlu hale getirir.