Supercombinator
سپر کمبینٹر ایک ریاضیاتی اظہار ہے جو مکمل طور پر پابند اور خود مختار ہے۔ یہ یا تو ایک مستقل یا ایک کمبینٹر ہو سکتا ہے جہاں تمام ذیلی تاثرات سپر کمبینٹر ہوتے ہیں۔ فنکشنل زبانوں کے نفاذ میں سپر کامبینٹرز کا استعمال کیا جاتا ہے۔ ریاضیاتی اصطلاحات میں، ایک لیمبڈا اظہار S اریٹی n کا ایک سپرکومبینیٹر ہے اگر اس میں کوئی آزاد متغیر نہیں ہے اور اس کی شکل λx1.λx2.λxn.E ہے (n ≤ 0 کے ساتھ، تاکہ لیمبڈاس کی ضرورت نہ ہو) جیسے کہ E خود لیمبڈا تجریدی نہیں ہے اور E میں کوئی بھی لیمبڈا تجریدی دوبارہ ایک سپرکومبینیٹر ہے۔ لیمبڈا لفٹنگ حوالہ جات ایس ایل پیٹن جونز، فنکشنل پروگرامنگ زبانوں کا نفاذ بھی دیکھیں۔ پرینٹس ہال، 1987۔ فنکشنل پروگرامنگ زبانوں کا نفاذ لیمبڈا کیلکولس