5
-calculus yansıması
Çalışan programların iç içe geçmesi ve manipülasyonu gibi yansıma mantığını destekleyen basit bir hesabı arıyorum . Birinin λ- termleri sözdizimsel olarak manipüle edilebilecek ve daha sonra değerlendirilebilecek bir forma dönüştürmesini sağlayan türetilmemiş bir hesabı uzantısı var mı?λλ\lambdaλλ\lambda Analizin iki ana ek terimi olduğunu hayal ediyorum: : alır v ve bir …