اشتمال قائمة (برمجة)

لنضع في الاعتبار المثال التالي في تدوين باني المجموعة.

${\displaystyle S=\{2\cdot x\mid x\in \mathbb {N} ,\ x^{2}>3\}}$

أو غالبًا

${\displaystyle S=\{2\cdot x:x\in \mathbb {N} ,\ x^{2}>3\}}$

يمكن قراءة هذا، " ${\displaystyle S}$ هي مجموعة كل الأرقام "مرتين ${\displaystyle x}$ " مثل ذلك الـ ${\displaystyle x}$ هو عنصر أو عضو في مجموعة الأعداد الطبيعية (${\displaystyle \mathbb {N} }$)، وتربيع ${\displaystyle x}$ أكبر من ${\displaystyle 3}$ ".

أصغر رقم طبيعي، ${\displaystyle x=1}$ ، لا يستوفي الشرط ${\displaystyle x^{2}>3}$ (الشرط ${\displaystyle 1^{2}>3}$ غير صحيح) لذلك ${\displaystyle 2*1}$ غير مدرج في ${\displaystyle S}$. الرقم الطبيعي التالي، 2، يستوفي الشرط (${\displaystyle 2^{2}>3}$) مثل كل رقم طبيعي آخر. وهكذا يتكون ${\displaystyle x}$ من ${\displaystyle 2,3,4,5...}$ بما أن المجموعة ${\displaystyle S}$ تتكون من جميع الأرقام " مرتين ${\displaystyle x}$ "، يتم الحصول عليها من ${\displaystyle S={4,6,8,10,...}}$. بعبارة أخرى، S هي مجموعة جميع الأرقام الزوجية الأكبر من 2.

في هذه النسخة المدونة رياضياً من المثال السابق:

${\displaystyle S=\{\underbrace {2\cdot x} _{\color {Violet}{\text{output expression}}}\mid \underbrace {x} _{\color {Violet}{\text{variable}}}\in \underbrace {\mathbb {N} } _{\color {Violet}{\text{input set}}},\ \underbrace {x^{2}>3} _{\color {Violet}{\text{predicate}}}\}}$

• ${\displaystyle x}$ هو المتغير الذي يمثل أعضاء مجموعة الإدخال.
• ${\displaystyle \mathbb {N} }$ يمثل مجموعة المدخلات، والتي في هذا المثال هي مجموعة من الأعداد الطبيعية
• ${\displaystyle x^{2}>3}$ هو تعبير أصلي يعمل كمرشح على أعضاء مجموعة الإدخال.
• ${\displaystyle 2\cdot x}$ هو تعبير إخراج ينتج أعضاء المجموعة الجديدة من أعضاء مجموعة الإدخال التي تفي بالتعبير الأصلي.
• ${\displaystyle \{\}}$ تشير الأقواس إلى أن النتيجة هي مجموعة.
• ${\displaystyle \mid }$${\displaystyle ,}$ تتم قراءة الشريط العمودي على أنه «مثل هذا». يتم استخدام الشريط والفاصلة ":" بالتبادل.
• تفصل الفواصل بين المسندات predicates ويمكن قراءتها كـ «و».

يحتوي اشتمال القائمة على نفس الأجزاء النحوية لتمثيل التوليد من قائمة بالترتيب من قائمة الإدخال أو <i>المكرر</i> :

• متغير يمثل أعضاء قائمة المدخلات.
• قائمة الإدخال (أو المكرر).
• تعبير أصلي اختياري.
• وتعبير إخراج ينتج أعضاء قائمة الإخراج من أعضاء المدخلات القابلة للتكرار التي تستوفي المسند.

ترتيب توليد أعضاء قائمة المخرجات يعتمد على ترتيب العناصر في الإدخال.

في التركيب النحوي لاشتمال القائمة في لغة هاسكل، يتم كتابة إنشاء باني المجموعة بشكل مشابه، وعلى النحو التالي:

s = [ 2*x | x <- [0..], x^2 > 3 ]

هنا، تمثل القائمة [0..] ${\displaystyle \mathbb {N} }$ ، يمثل x^2>3 المسند، ويمثل 2*x تعبير الإخراج.

نتائج اشتمال القائمة تعطي ترتيبًا محددًا (على عكس أعضاء المجموعات)؛ وقد يؤدي اشتمال القائمة إلى إنشاء أعضاء قائمة بالترتيب، بدلاً من إنتاج القائمة بالكامل وعلى سبيل المثال؛ يسمح التعريف السابق بلغة هاسكل بأعضاء قائمة لانهائية.

• عبارة SELECT مع عبارات FROM و WHERE في SQL

• قائمة الفهم في القاموس المجاني للحوسبة، المحرر دينيس هاو.
• Trinder, Phil (1992). «الفهم، تدوين الاستعلام لـ DBPLs». وقائع ورشة العمل الدولية الثالثة حول لغات برمجة قواعد البيانات: الأنواع بالجملة والبيانات الثابتة، Nafplion ، اليونان. ص.   55-68.
• Wadler, Philip (1990). «فهم الموناد». وقائع مؤتمر ACM 1990 حول LISP والبرمجة الوظيفية، نيس.
• Wong, Limsoon (2000). «الشجاعة الوظيفية لنظام الاستعلام كليزلي». وقائع المؤتمر الدولي الخامس ACM SIGPLAN حول البرمجة الوظيفية. المؤتمر الدولي للبرمجة الوظيفية. ص.   1-10.

• عمليات مجموعة شبيهة بـ SQL مع قوائم أحادية الفهم في القائمة في Python Cookbook
• مناقشة حول فهم القائمة في مخطط والبنيات ذات الصلة
• اسرد الاستيعاب عبر اللغات

• بوابة علم الحاسوب