البرمجة الضمنية

يمكن توضيح البرمجة الضمنية باستخدام كود بايثون التالي . سلسلة من العمليات مثل ما يلي:

def example ( x ): return baz ( bar ( foo ( x )))

... يمكن كتابتها بأسلوب خالٍ من النقاط كتركيب لسلسلة من الدوال، بدون معلمات: ^{[ 3 ]}

from functools import partial , reducedef compose ( * functions ): return partial ( reduce , lambda x , f : f ( x ), functions )مثال = تكوين ( foo , bar , baz )

للحصول على مثال أكثر تعقيدًا، يمكن ترجمة كود هاسكل على النحو التالي:p = ((.) f) . g

p = partial(compose, partial(compose, f), g)

مثال بسيط (في لغة هاسكل ) هو برنامج يحسب مجموع قائمة من الأرقام. يمكننا تعريف دالة المجموع بشكل تكراري باستخدام أسلوب الإشارة (انظر برمجة مستوى القيمة ) كما يلي:

sum [ ] = 0 sum ( x : xs ) = x + sumxs

لكن باستخدام عملية الطي ، يمكن استبدال ذلك بما يلي:

sum xs = foldr ( + ) 0 xs

وبالتالي، لا حاجة للجدال، لذا يتبسط الأمر إلى

المجموع = foldr ( + ) 0

وهو أمر لا يتطلب نقاطاً.

مثال آخر يستخدم تركيب الدوال :

p x y z = f ( g x y ) z

توضح الشفرة الزائفة التالية، الشبيهة بلغة هاسكل، كيفية اختزال تعريف الدالة إلى ما يعادلها من الدوال التي لا تحتوي على نقاط:

p = \ x -> \ y -> \ z -> f ( g x y ) z= \ x -> \ y -> f ( g x y )= \ x -> \ y -> ( f . ( g x )) y= \ x -> f . ( g x )( * هنا يتم استخدام عامل التركيب الوسطي " . " كدالة مُجزأة جزئيًا . * )= \ x -> (( . ) f ) ( g x )= \ x -> ((( . ) f ) . g ) xp = (( . ) f ) . g

وأخيرًا، لرؤية مثال معقد، تخيل برنامج تصفية الخرائط الذي يأخذ قائمة، ويطبق عليها دالة، ثم يقوم بتصفية العناصر بناءً على معيار معين.

قائمة عوامل تشغيل معايير mf = معايير التصفية ( قائمة عوامل تشغيل الخريطة )

ويمكن التعبير عنها بدون نقاط ^{[ 4 ]} على النحو التالي

mf = ( . map ) . ( . ) . filter

كما سبق ذكره، تشير النقاط في "بدون نقاط" إلى الوسائط، وليس إلى استخدام النقاط؛ وهو مفهوم خاطئ شائع. ^{[ 5 ]}

تمت كتابة بعض البرامج لتحويل تعبير هاسكل تلقائيًا إلى شكل خالٍ من النقاط.

في لغة البرمجة J ، يظهر نفس النوع من التعليمات البرمجية الخالية من النقاط في دالة مصممة لحساب متوسط ​​قائمة (مصفوفة) من الأرقام:

المتوسط ​​=: +/ % #

+/يجمع عناصر المصفوفة عن طريق ربط ( /) summation ( +) بالمصفوفة. %يقسم المجموع على عدد العناصر ( #) في المصفوفة.

صيغة أويلر${\displaystyle e^{ix}=\cos x+i\sin x,}$معبر عنه ضمنياً:

كوس =: 2 س . ] الخطيئة =: 1 س . ] أويلر =: ^@ ي . = كوس ي . خطيئة

( j.دالة أولية تعريفها الأحادي هو 0j1مضروبًا في x وتعريفها الثنائي هو x+0j1×y.) نفس العمليات الحسابية الضمنية معبر عنها بلغة Dyalog APL :

المتوسط ​​← + ⌿ ÷ ≢cos ← 2 ○ ⊢ sin ← 1 ○ ⊢ EulerCalc ← cos + 0j1 × sin ⍝ 0j1 هو ما يُكتب عادةً على النحو التالي: i EulerDirect ← * 0J1 ×⊢ ⍝ وهو نفسه ¯12○⊢ ⍝ هل تُعطي الطريقتان نفس النتيجة؟ EulerCheck ← EulerDirect = EulerCalc EulerCheck ¯1 1 2 3 1 1 1 1 ⍝ نعم، حتى الآن كل شيء على ما يرام!

في لغات البرمجة الموجهة نحو المكدس ( واللغات التجميعية ، التي يعتمد معظمها على المكدس )، تُستخدم الطرق غير المعتمدة على النقاط بشكل شائع. على سبيل المثال، قد تبدو عملية حساب أعداد فيبوناتشي كما يلي في لغة PostScript :

/fib { dup 1 eq exch dup 0 eq or not { dup 1 sub fib exch 2 sub fib add } if } def