2 haber bu etiketle işaretlenmiş
λProlog, Church'ün Basit Tip Teorisi (Simple Theory of Types) tarzında, yüksek mertebeden sezgisel mantığa dayalı bir mantık programlama dilidir. Bu güçlü mantıksal temel, λProlog'a modüler programlam...
Comptime, C geliştiricilerine derleme zamanı kod üretimi ve değerlendirme yetenekleri sunan yenilikçi bir .NET kaynak oluşturucudur. Bu araç, belirli metotları Comptime niteliğiyle işaretleyerek derle...
Tüm haberler yüklendi