Bu madde hiçbir kaynak içermemektedir. (Temmuz 2024) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |
System F (ayrıca polimorfik lambda hesabı veya ikinci dereceden lambda hesabı), lambda hesaplamalarına dayanan bir biçimsel sistemdir. Birçok işlevsel programlama dilinin temelini oluşturur ve özellikle programlama dil teorisi alanında önemli bir rol oynar. Jean-Yves Girard ve Jean-Jacques Levy tarafından 1972 yılında oluşturulmuştur.
System F, çok biçimlilikle tanınır ve bu, onu daha ifadeli ve güçlü bir dil yapar. Basit lambda hesaplamasını genel nicelik (polimorfizm) ile genişletir ve polimorfik işlevler oluşturmanıza ve soyut veri tipleriyle çalışmanıza olanak tanır.
System F'nin önemli özellikleri şunlardır:
System F, genellikle programlama dil araştırmalarında teorik bir temel olarak kullanılır ve fikirleri, özellikle Haskell gibi işlevsel programlama dillerinin tasarımını etkilemiştir.