Philip Zucker bağlayıcı destekli e-graf aracı Lambda MicroEgg'i yayımladı

Bağımsız araştırmacı Philip Zucker, kapsam duyarlı ve alfa eşdeğerliğini tanıyan bağlayıcıları destekleyen yeni e-graf aracı Lambda MicroEgg'i duyurdu. Max Panchekha'nın geliştirdiği microegg projesini temel alan yazılım, S-ifadesi tabanlı bir ön yüz aracılığıyla bağlayıcıları, yüksek mertebeden Miller örüntülerini ve yeniden yazım kurallarının sağ tarafında değişken yakalamayı önleyen ikame mekanizmasını bir araya getiriyor. Zucker, projenin kaynak kodlarını GitHub üzerinden açık kaynak olarak paylaştı ve WebAssembly tabanlı çevrim içi bir tanıtım sürümünü kullanıma sundu.

Araç, alfa eşdeğeri terimleri aynı bellek adresinde saklayarak otomatik birleştirme sağlıyor. Geliştirici, değişken bağlamlarını ve inceltme (thinning) bilgilerini 32 bitlik kimlik alanından ayrılan tek bir bayt içinde depolayan bir yöntem uyguladı. Bu tasarım tercihi, birinci mertebeden işlemler üzerinde neredeyse sıfır ek yük oluştururken mevcut yapıda aynı anda en fazla 7 serbest değişkenin tanımlanmasına olanak tanıyor. Yapılan başa baş testlerinde araç, egg kütüphanesine kıyasla benzer doygunluk senaryolarında yaklaşık 3 kat daha yavaş çalışmasına rağmen kabul edilebilir bir performans sergiledi.

Lambda MicroEgg'in mevcut sürümünde Miller örüntüleri yalnızca sıralı değişken uygulamalarını destekliyor; argümanların bağlanma sırasının dışına çıktığı durumlar yeniden yazımın sağ tarafında dönüştürülüyor. Zucker, geliştirme sürecinde yapay zeka araçlarından yoğun biçimde yararlandığını belirtirken, sonraki adımlarda bellek içi bağlam sınırını genişletmeyi, Lean sözleşmelerine uygun kanıt kütükleri üretmeyi ve denklem kanıtlama kurallarını sisteme eklemeyi planlıyor.