Kendi doğal dilinizde yazın.
GC yok · Borrow checker yok · Memory safe
Yazılımın en pahalı yarası bellek güvenliğidir — ciddi güvenlik
açıklarının yaklaşık %70'i bellek hatasıdır. Rust bu
yarayı kapatır, ama bedeli borrow checker'ın öğrenme duvarıdır.
MELP aynı yarayı o duvar olmadan kapatmayı hedefler:
programcı hiçbir şey işaretlemez — ne &,
ne lifetime, ne unsafe. Scope = ömür.
Kanıt durumu, dürüstçe: Mekanizma çalışıyor ve valgrind ile doğrulanmış durumda. Bu haftanın en ciddi iki hatası da tam bu sınıftandı — ikisi de test korpusumuz tarafından yakalanıp kapatıldı; bu hem yaranın ne kadar zor olduğunun hem de mekanizmanın onu gördüğünün kanıtı. Gerçek dünya ölçeğindeki kanıt sıradaki işimiz. Bugün hedefliyor diyoruz; kanıt tamamlandığında sağlıyor diyeceğiz.
MELP — MLP · Multi Language Programming kısaltmasından türetilmiştir.
MELP — "Everything is a scope."
Neden MELP?
Hız, güvenlik ve basitlik — üçü bir arada.
| Dil | Hız | Memory Safety | Basitlik |
|---|---|---|---|
| C / C++ | ✅ | ❌ | ❌ |
| Java / Python | ❌ (GC) | ✅ | ✅ |
| Rust | ✅ | ✅ | ❌ |
| MELP | ✅ | ✅ | ✅ |
"MELP, bellek güvenliğini scope modeliyle — ne GC ne de borrow checker gerektirmeden — kapatmayı hedefler."
Ne Çözdük, Neyi Henüz Çözmedik
Yazılımın kronik yaraları ve MELP'in bugünkü cevapları — eksikler dahil.
| Yara | MELP'in cevabı | Durum |
|---|---|---|
| Bellek güvenliği | Scope/custody: GC'siz, işaretsiz, otomatik | ✅ |
| Kurumsal hafıza kaybı | debug bloğu — geleceğe mektup, koşulunca durur |
✅ |
| Sessiz yanlış | Runtime'a tahmin bırakılmaz; hata kodları + çıkış disiplini | ✅ |
| State karmaşası | State'in ayrı hayatı yok — veri scope'unun ömrünü yaşar | 🔬 |
| Eşzamanlılık | Scope izolasyonu, mutex'siz mesajlaşma | 🔬 |
| Tedarik zinciri güvenliği | Cevabımız yok — modül sistemi emekleme aşamasında | ❌ |
| Araç zinciri konforu | Zayıf karnımız — editör, hata ayıklayıcı, paket araçları genç | ❌ |
✅ kanıtlı · 🔬 kısmî · ❌ henüz yok —
kaynak: MELP_KANONİK/OZGUN_OZELLIKLER.md
MELP Ne Sunar?
Çok Dilli, Çok Sentakslı
Dünyanın herhangi bir dilinde (Türkçe, Arapça vs.); C, Python, Go gibi tanıdık sözdizimleriyle kodlamada tam özgürlük.
Freeze — Dondur, Öldürme 🔬
Çalışan bir scope, alt ağacıyla birlikte dışarıdan dondurulabilir: durum tam korunur, kardeş scope'lar akmaya devam eder. Olay müdahalesinde "öldür ve delili kaybet" ikilemine dil düzeyinde karantina cevabı. Host API'den çalışır; dil sözdizimi geliştirme aşamasında.
LLVM Native Binary
GC yok, overhead yok. MELP doğrudan LLVM IR üretir ve C ile aynı ligde koşar — sürprizsiz, ölçülebilir performans. Sözdizimsel bir deney değil, kendi kaynağını derleyen bir derleyici.
Kaynak: MELP_KANONİK/OZGUN_OZELLIKLER.md — ✅ çalışan, 🔬 kısmî, ❌ henüz yok (dürüstlük satırlarıyla)
Aynı Program, İki Dil
Kod mantığı değişmez — yalnızca anahtar kelimeler değişir.
function main()
print("Hello World!")
end function
fonksiyon giriş()
yaz("Merhaba Dünya!")
fonksiyon sonu
numeric function add(a; b)
return a + b
end function
function main()
numeric result = add(3; 5)
print(result)
end function
sayısal fonksiyon topla(a; b)
döndür a + b
fonksiyon sonu
fonksiyon giriş()
sayısal sonuç = topla(3; 5)
yaz(sonuç)
fonksiyon sonu
C Ligi, Sürprizsiz
19 Temmuz 2026 · MELP v1.0 · Intel Core i7-10750H · Linux x86-64
clang -O2)
derlenmesidir. Her ölçüm 5 tur, en iyi değer.
Çalışma süresi (ms) — düşük daha iyi
MELP ile C pratikte özdeştir (234 ≈ 232) — aynı LLVM backend'i kullanıldığında dil katmanı ölçülebilir bir kayıp getirmiyor.
Aynı karmaşıklık sınıfı — O(n). Sabit katsayıda C ve Rust önde (~9x).
Hazır mısınız?
Tarayıcıda hemen deneyin — kurulum gerekmez.