Digital HAT Labs · Programlama dili
Güvenli bellek yönetimi, öngörülebilir performans ve kurumsal servisler için geliştirdiğimiz programlama dili. HADID’i, temellerinden başlayarak inşa ediyoruz.
Aktif geliştirme aşamasında
Hedeflenen derleyici mimarisi
Kaynak koddan sisteme.
Anlaşılır bir dil
Sözdizimi · kaynak kod
Kontrollü bir yapı
Tip sistemi · sahiplik
Yerel makine kodu
LLVM · AOT derleme
Mimari hedefler · v0.1-PRE
Tasarım yaklaşımımız
HADID’in dil ve derleyici tasarımı, güvenli ve bakımı kolay sistemler geliştirme hedefi etrafında şekilleniyor.
Bellek yaşam döngüsünü sahiplik ve guard sözleşmeleriyle denetleyen bir model tasarlıyoruz. Amaç, bellek kaynaklı hataları geliştirme sırasında yakalamak.
LLVM üzerinden yerel makine koduna derlenen bir yapı hedefliyoruz. Çalışma zamanı maliyetlerini ve kaynak kullanımını görünür kılmak tasarımın merkezinde.
Web servisleri ve dağıtık sistemleri düşünerek geliştiriyoruz. Asenkron iş akışları, veri iletişimi ve izlenebilirlik standart kütüphanenin tasarım hedefleri arasında.
Hangi ihtiyaçlardan doğdu?
Kurumsal yazılımların arkasındaki bellek, performans ve servis iletişimi ihtiyaçları, geliştirme önceliklerimize yön veriyor.
Yanıt sürelerinin tutarlı olması gereken iş yükleri için bellek yaşam döngüsünü ve çalışma zamanı davranışını daha öngörülebilir kılmayı hedefliyoruz.
Sahiplik, tip denetimi ve sözleşmelerle hataların geliştirme sırasında fark edilmesini kolaylaştıran bir dil tasarlıyoruz.
Web API’leri, asenkron iş akışları ve dağıtık sistemler için ortak bir geliştirme temeli oluşturmak istiyoruz.
DERLEYİCİ MİMARİSİ
Derleyiciyi adım adım geliştiriyoruz. Her aşamanın görevini ve mevcut durumunu birlikte görebilirsiniz.
Tamamlandı
Kaynak metin sıfır-tahsisatlı (zero-allocation) yüksek hızlı tokenizer ile ayrıştırılarak atomik Hadid tokenlarına dönüştürülür.
Tamamlandı
Deterministik EBNF kurallarına göre LL(k) recursive-descent ayrıştırıcı ile sözdizimi doğrulanır.
Aktif Geliştirme
Kodun yapısal semantik düğümleri ve kapsam hiyerarşisi oluşturulur.
Planlandı
Statik tip denetimi, borçlanma çözümlemesi ve sözleşme güvenceleri doğrulanır.
Planlandı
LLVM IR katmanına dönüştürülerek hedef platforma özgü optimize yerel ikili (native binary) üretilir.
Yol haritası
Tamamlanan temel çalışmaları ve geliştirmeye devam ettiğimiz adımları açıkça paylaşıyoruz.
Hadid dilinin temel sözdizim kuralları, anahtar kelime kümesi ve dil spesifikasyonu tamamlandı.
Kaynak metni bellek tahsisi yapmaksızın ayrıştıran yüksek hızlı tokenizer motoru tamamlandı.
Hadid gramer kurallarını çözümleyen ilk ayrıştırıcı prototip çekirdeği tamamlandı.
Tip denetimi ve semantik analiz için gerekli AST düğüm mimarisi aktif olarak yazılıyor.
Statik tip denetimi ve sahiplik yaşam döngüsü doğrulayıcısı tasarlanıyor.
Hadid AST düğümlerinin LLVM IR'a ve doğrudan yerel makine koduna dönüştürülmesi planlanıyor.
Mikroservisler ve yüksek ölçekli bulut sistemleri için standart kütüphane altyapısı planlanıyor.
Dil tasarımı, sözdizimi ve derleyici mimarisini dokümantasyonda keşfedin.
Teknik önizleme
HADID’i erken aşamada incelemek, kullanım senaryonuzu paylaşmak veya dil tasarımına geri bildirim vermek için bize katılın.
Aktif geliştirme aşamasında
İlgi alanınızı öğrenelim; ilgili teknik gelişmeler ve önizleme süreci için sizinle iletişime geçelim.
* İşaretli alanlar zorunludur.
Doğrulamak için kutucuğa tıklayın
Verileriniz doğrudan Digital HAT kurumsal CRM sistemine iletilir ve yalnızca Hadid teknik güncellemeleri ve RFC incelemeleri için kullanılır. Gizlilik politikası
HADID