البرمجة التصريحية في علم الحاسوب هي أحدى أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة.[1][2][3] الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة. أصبحت البرمجة التصريحية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية.
تضم لغات البرمجة التصريحية أنواعًا مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية.
مراجع
- ^ "DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 يناير 2009. مؤرشف من الأصل في 2017-12-19. اطلع عليه بتاريخ 2013-08-15.
- ^ Declarative language in The Free On-line Dictionary of Computing, Editor Denis Howe. نسخة محفوظة 27 يوليو 2017 على موقع واي باك مشين.
- ^ "Declarative modelling". Simulistics. مؤرشف من الأصل في 2018-10-23. اطلع عليه بتاريخ 2013-08-15.