Nex: Kod Yazarken Vaatleri Tutturmak

Yapay zeka kodu saniyeler içinde üretiyor ama doğruluğunu kontrol etmek hâlâ aynı kadar zaman alıyor. Çoğu dil bunda yardımcı değil. Tip denetleyici sana "Integer yerine Integer geçtiniz" der ama hesaptan para çekmeden önce bakiye yeterli miydi, sayı pozitif miydi diye sormuyor.

Nex bu boşluğu kapatmak için tasarlanmış küçük bir dil. Her rutinin ne gerektirdiğini ve ne garantilediğini yazabiliyorsun, Nex de bunu her çalıştırmada kontrol ediyor.

Örneğin cüzdan sınıfında hiç kontrat yoksa para negatif olabiliyor:

1class Wallet
2feature money: Real
3spend(amount: Real) do
4this.money:= money - amount
5end
6end
7let w:= create Wallet.with_balance(10.2)
8w.spend(20.0)
9print(w.money) -- -9.8

Nex'te ise ön koşul ve son koşul belirtebilirsin. Fonksiyon çalışmadan önce koşul yanlışsa hata fırlatılır, sonra da garantiler kontrol edilir. Böylece 20 birim harcamaya çalışırken 10.2'lik bakiye varsa kod patlar ve seni uyarır.

Dil JVM üzerinde çalışıyor ve MPL-2.0 lisansıyla açık kaynak. Tip güvenliği ile sözleşme kontrolleri birleştirdiği için, kod üretim araçlarından gelen fonksiyonları hızlı doğrulayabilirsin. Özellikle finansal, tıbbi ya da kritik sistemlerde bu tür garantiler gerçek hata avını kısaltıyor.