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

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

${\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
• مناقشة حول فهم القائمة في مخطط والبنيات ذات الصلة
• اسرد الاستيعاب عبر اللغات

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