عرض مصدر اشتمال قائمة (برمجة)

{{لا مصدر|تاريخ=يناير 2022}}
{{يتيمة|تاريخ=يونيو 2020}}
'''اشتمال قائمة''' {{إنج|list comprehension}} هو بناء [[نحو (برمجة)|نحوي]] متوفر في بعض [[لغة برمجة|لغات البرمجة]] لإنشاء قائمة بناءاً على القوائم الموجودة. وهي تتبع الصيغة لل''تدوين'' الرياضي في ''منشئ المجموعة'' (اشتمال مجموعة) تمييزا لها عن استخدام دوال '''الخريطة الربطية map''' و '''الفلاتر filter'''.

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

: <math>S=\{2\cdot x\mid x \in \mathbb{N},\ x^2>3\}</math>

أو غالبًا

: <math>S=\{2\cdot x : x \in \mathbb{N},\ x^2>3\}</math>

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

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

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

: <math>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}}}\}</math>

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

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

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

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

في التركيب النحوي لاشتمال القائمة في لغة [[هاسكل (لغة برمجة)|هاسكل]]، يتم كتابة إنشاء باني المجموعة بشكل مشابه، وعلى النحو التالي: <syntaxhighlight lang="haskell">
s = [ 2*x | x <- [0..], x^2 > 3 ]
</syntaxhighlight> هنا، تمثل القائمة <code>[0..]</code> <math>\mathbb{N}</math> ، يمثل <code>x^2>3</code> المسند، ويمثل <code>2*x</code> تعبير الإخراج.

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

== انظر أيضًا ==

* عبارة SELECT مع عبارات FROM و WHERE في [[لغة الاستعلامات المهيكلة|SQL]]

== ملاحظات ومراجع ==
{{مراجع}}

* [https://web.archive.org/web/20050125080818/http://ftp.sunet.se/foldoc/foldoc.cgi?list+comprehension قائمة الفهم] في القاموس المجاني للحوسبة، المحرر دينيس هاو.
* Trinder, Phil (1992). «الفهم، تدوين الاستعلام لـ DBPLs». وقائع ورشة العمل الدولية الثالثة حول لغات برمجة قواعد البيانات: الأنواع بالجملة والبيانات الثابتة، Nafplion ، اليونان. ص.   55-68.
* Wadler, Philip (1990). «فهم الموناد». وقائع مؤتمر ACM 1990 حول LISP والبرمجة الوظيفية، نيس.
* Wong, Limsoon (2000). «الشجاعة الوظيفية لنظام الاستعلام كليزلي». وقائع المؤتمر الدولي الخامس ACM SIGPLAN حول البرمجة الوظيفية. المؤتمر الدولي للبرمجة الوظيفية. ص.   1-10.

=== هاسكل ===

* تقرير هاسكل 98، الفصل [http://haskell.org/onlinereport/exps.html#list-comprehensions 3.11 قائمة الفهم] .
* دليل المستخدم لنظام تجميع غلاسكو هاسكل المجيد، الفصل [https://web.archive.org/web/20051129140339/http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#parallel-list-comprehensions 7.3.4 فهم القائمة المتوازية] .
* دليل مستخدم Hugs 98، الفصل [https://web.archive.org/web/20140515114545/http://cvs.haskell.org/Hugs/pages/users_guide/hugs-ghc.html#ZIP-COMPREHENSION 5.1.2 استيعاب القائمة الموازية (ويعرف أيضًا باسم ملفات zip)] .

=== OCaml ===

* [http://batteries.forge.ocamlcore.org/ وشملت بطاريات OCaml]
* [http://batteries.forge.ocamlcore.org/doc.preview:batteries-alpha3/html/extensions.html تم تضمين ملحقات اللغة في OCaml بطاريات]

=== بيثون ===

* دروس بايثون، [https://docs.python.org/tutorial/datastructures.html#list-comprehensions قائمة الفهم] .
* Python Language Reference ، [https://docs.python.org/reference/expressions.html#list-displays تعرض القائمة] .
* مقترح تحسين Python [https://www.python.org/peps/pep-0202.html PEP 202: قائمة الفهم] .
* Python Language Reference ، [https://docs.python.org/reference/expressions.html#generator-expressions تعبيرات المولد] .
* مقترح تحسين Python [https://python.org/peps/pep-0289.html PEP 289: تعبيرات المولد] .

=== الليسب المشتركة ===

* [http://rali.iro.umontreal.ca/rali/?q=en/node/886 تنفيذ] Guy Lapalme [http://rali.iro.umontreal.ca/rali/?q=en/node/886 لماكرو الفهم Lisp]

=== كلوجور ===

* [https://clojuredocs.org/clojure.core/for وثائق API كلوجر - ''الماكرو'']

=== اكسيوم ===

* [https://web.archive.org/web/20051018040438/http://page.axiom-developer.org/zope/mathaction/Streams أمثلة تيار اكسيوم]

== روابط خارجية ==

* عمليات مجموعة شبيهة بـ SQL مع قوائم أحادية الفهم في القائمة في [http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/159974 Python Cookbook]
* [http://lambda-the-ultimate.org/classic/message11326.html مناقشة حول فهم القائمة في مخطط والبنيات ذات الصلة]
* [http://langexplr.blogspot.com/2007/02/list-comprehensions-across-languages_18.html اسرد الاستيعاب عبر اللغات]
{{شريط بوابات|علم الحاسوب}}

[[تصنيف:بنى البرمجة]]