MELP Ne Yapabilir?

🌍 1. Çok Dilli, Çok Sentakslı Yazım

MELP'te program mantığı dilden ve sözdizimi stilinden bağımsızdır. Aynı derleyici Türkçe, İngilizce, Rusça veya Japonca kaynak dosyasını okuyabilir. Yeni bir dil eklemek için tek yapılması gereken bir keywords.json dosyası yazmaktır — derleyici kaynak koduna dokunulmaz.

Bunun yanı sıra MELP üç farklı sözdizimi stilini destekler:

function add(a; b)
    return a + b
end function

function add(a; b) {
    return a + b
}

function add(a; b):
    return a + b

Kanonik kaynak: /ORTAK/dil/<dil_kodu>/keywords.json

function greet(name)
    print("Hello, " + name)
end function

function main()
    greet("World")
end function

fonksiyon selamla(isim)
    yaz("Merhaba, " + isim)
fonksiyon sonu

fonksiyon giriş()
    selamla("Dünya")
fonksiyon sonu

🛡️ 2. Memory Safe — GC'siz, Annotation'sız Beta

MELP, varsayılan olarak global durum oluşturmaya izin vermez. Bu tek kural sayesinde bellek sızıntısı derleyici düzeyinde imkânsız hale gelir — ne çalışma zamanı Garbage Collector ne de Rust'ın borrow checker'ı gibi manuel annotation sistemi gerekir.

🔐 3. Yapısal Binary Güvenliği — EOK v1.0+

Binary'e sahip olmak, mantığa sahip olmak anlamına gelmez.

Klasik derleyiciler kaynak kodunun sembolik yapısını (fonksiyon adları, kontrol akışı, sabit değerler) binary içinde korur. IDA Pro, Ghidra veya benzeri bir araç bu binary'i açtığında programın mantığı büyük ölçüde okunabilir.

MELP farklı çalışır. EOK (Encryptic OK) mimarisinde binary, gerçek semboller yerine yalnızca indeks numaraları içerir. Bu indekslerin anlam tablosuna — "anahtar"a — sahip olmadan binary çalıştırılamaz, tersine mühendislik yapılamaz.

Saldırı Senaryoları

EFBO — Kuantum Dirençli Koruma Araştırma

EOK'un üzerine inşa edilen EFBO (Encrypted FBO), post-quantum şifreleme yöntemleriyle FBO dispatch tablosunu korumayı hedefler. Klasik şifreleme algoritmalarının kuantum bilgisayarlar karşısında kırılgan olacağı varsayımına karşı proaktif bir mimari yanıttır.

⚡ 4. LLVM Native Binary

MELP sözdizimsel bir deney değildir. Kaynak kod LLVM IR'e derlenir, ardından llc ve platform linker'ı aracılığıyla gerçek bir ELF binary üretilir. GC yok, interpreter yok, overhead yok.

# LLVM IR görüntüle
bin/run_melp ornek.mlp --ir

# Native binary üret
melp_compiler ornek.mlp -o a.out

# Çalıştır — lli veya interpreter gerektirmez
./a.out

Üretilen binary, lli veya herhangi bir çalışma zamanı olmadan doğrudan işletim sistemi tarafından çalıştırılır. C/C++ ile karşılaştırılabilir performans hedefleri için LLVM optimizer geçişleri uygulanabilir.

🔄 5. Spawn + Channel

MELP, eşzamanlılık için dil düzeyinde spawn ve channel desteği sunar. Paylaşılan durum yerine mesaj geçişi modeli benimsenmiştir — bu yaklaşım stateless-first felsefesiyle tutarlıdır.

spawn
    print("Paralel görev çalışıyor")
end spawn

başlat
    yaz("Paralel görev çalışıyor")
başlat sonu

📦 7. OK Katmanı — STO · SAO · FBO Beta

MELP derleme hattının optimizasyon omurgası üç katmandan oluşur: STO (Smart Type Optimization) tip çıkarımını, SAO (Semantic-Aware Optimization) erişim örüntülerini analiz eder; FBO (Frontend-Backend Optimization) ise semantiği 32-bit indekse indirger. Modüller arası transfer yalnızca 4 byte indekstir; kütüphane seyahat etmez.

🔁 8. State — FBO'nun Çalışma Zamanı Uzantısı Beta

Geleneksel dillerde state geçişi maliyetlidir: veri kopyalanır, bağımlılıklar taşınır, bellek sızar. MELP'te state FBO tablosunun bir indeksidir — modüller arası geçiş 4 byte, erişim O(1).

MELP state'i yasaklamaz, onu görünür kılar. state.init() ve state.close() ile state nerede başlar nerede biter açık olur.

import state

numeric function sayac()
    state.init()
    numeric n = state.get("n"; 0)
    state.set("n"; n + 1)
    state.close()
    return n
end function

🔢 9. Tip Sistemi — 3 Tip, Sıfır Tip Derdi

MELP'te yalnızca üç değişken tipi vardır:

Klasik dillerde programcı “bu değişkene int8 mi, int64 mi, float mı double mı ayırmalıyım?” derdine düşer. MELP’te bu dert yoktur. Kullanıcının tek yaptığı ihtiyacını olan tipi tanımlamaktır:

numeric kucuk   = 1              -- STO: 1 bit yeterli, öyle depolar
numeric buyuk   = 9999999999999  -- STO: gereken byte’ı otomatik seçer
numeric pi      = 3,14159265358979323846
numeric miktar  = 1.000.000,45   -- Noktalı binlik ayraç
string  mesaj   = "Merhaba"
boolean aktif   = true

-- Nullable tip (v1.2)
numeric? yas    = null           -- atanmamış olabilir
string?  ad     = "Ali"

-- Safe navigation operatörü
string sonuc = kullanici?.isim

-- Type cast
numeric n = deger as numeric

-- Tuple
tuple boyut = (1920; 1080)
(numeric w; numeric h) = boyut

🐛 10. Yerleşik debug Anahtar Kelimesi

Kaynak kodda hata noktası işaretlemek için ayrı kütüphane ya da araç gerekmez. debug dil düzeyinde bir anahtar kelimedir. Üretim derlemesinde (--release) sıfır maliyet — kod ve sembol üretilmez.

function hesapla(x)
    debug  -- burada dur, değerleri göster
    return x * 2
end function

💀 11. Ölü Modül Felsefesi

Stateless-first mimarinin doğal sonucu: modüller varsayılan olarak ölüdür. Hiçbir modül kendi başına kaynak tahsis etmez ya da bellekte yer kaplamaz. Bir modülü kullanan modül diriltir ve iş bitince öldürür — atıl kaynak sıfır, çöp toplayıcıya gerek yoktur.

📌 12. Adlandırılmış Kapsamlar — scope

scope ad ile iç içe bloktan temiz koşullu çıkış sağlanır. Derin döngülerde bayrak değişkeni ya da exception gerekmez.

scope islem
    for i = 0 to 100
        for j = 0 to 100
            if bul(i; j) then
                exit scope islem  -- iç içe döngüden temiz çıkış
            end if
        end for
    end for
end scope

🧱 13. Struct + Fonksiyon — Class Yok

MELP'te veri struct ile, davranış bağımsız fonksiyonlarla tanımlanır. OOP hiyerarşisi olmadan aynı modelleme gücü, çok daha az karmaşıklık.

struct Nokta
    numeric x
    numeric y
end struct

enum Renk
    Kirmizi
    Yesil
    Mavi
end enum

match renk
case Kirmizi
    print("kırmızı")
end case
end match

🗂️ 14. Modüler Mimari

Her modül tek sorumluluğa sahiptir; merkezi orkestratör yasaktır. Derleme sırası otomatik dependency graph'tan belirlenir — döngüsel bağımlılık derleme zamanında hata olarak raporlanır.

🌐 15. Platform Bağımsız Beta

Bir kere yaz, her yerde çalıştır. LLVM altyapısı sayesinde aynı kaynak kod Linux, macOS ve Windows için native binary üretir. Çapraz derleme için ayrı araç gerekmez.

🎯 16. Öz-Derleme Hedefi

v1.0 milstonunda MELP derleyicisi kendini MELP ile derleyecektir. Bu hedefe "self-hosting" denir ve bir dilin olgunluk göstergesidir. Stage 0 (C++ → C++) ve Stage 1 (MELP → C++) aşamalarından sonra Stage 2 (MELP → MELP) tamamlandığında bu hedef gerçekleşmiş olacak.