LaTeX için kademeli tip denetimi sunan ExactTeX geliştirildi
Öne çıkanlar
- Rust ile geliştirilen ExactTeX, kademeli tipleme mantığıyla belgenin etiketlenmeyen kısımlarını bayt düzeyinde koruyor.
- Derleyici, hatalı referansları ve sayfa taşmalarını genel uyarılar yerine nesne isimleriyle net biçimde raporluyor.
- Sistem terminal aracı, LSP sunucusu ve tarayıcıda çalışan WebAssembly derlemesiyle üç farklı arayüz sağlıyor.
Geliştiriciler, LaTeX belgelerinde derleme öncesi tip güvenliği ve anlamsal hata denetimi sağlayan ExactTeX adlı yeni açık kaynaklı aracı yayımladı. Rust ile geliştirilen ve sıfır harici bağımlılık barındıran derleyici çekirdeği, mevcut .tex uzantılı dosyaların doğrudan .xtex formatına dönüştürülmesine olanak tanıyor. Sistem, kademeli tipleme yaklaşımı sayesinde belgenin yalnızca etiketlenen kısımlarını denetlerken, dokunulmayan kısımları standart LaTeX çıktısı olarak bayt düzeyinde birebir koruyor.
Araç, geleneksel LaTeX derleyicilerinin sessizce geçiştirdiği veya belirsiz hata mesajlarıyla bildirdiği taşma ve referans uyumsuzluklarını nesne bazında raporluyor. Örneğin bir tablonun sağ kenar boşluğunu aşması veya bir görsel etiketine tablo referansı verilmesi gibi tutarsızlıklar, kullanıcı tanımlı isimlerle derleme aşamasında yakalanıyor. Derleyici çekirdeği; terminal arayüzü, LSP eklentisi ve WebAssembly tabanlı çevrim içi editör olmak üzere üç farklı çalışma yüzeyi sunuyor.
Projede Word belgelerindeki değişiklik izleme modeline benzer bir revizyon yapısı doğrudan dosya formatına entegre ediliyor. Dış kaynak doğrulamaları için kaynakça, DOI ve URL kontrolleri bağımsız bir çevrim dışı kayıt mekanizması üzerinden yürütülüyor. MIT lisansıyla yayımlanan sistem, mevcut TeX ekosistemini veya derleme dizinini terk etmeden bilimsel yayın hazırlayan yazarların hata ayıklama süreçlerini hızlandırmayı hedefliyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.