لغة تصريحية
في فهم الحاسب فإن لغة البرمجة التصريحية declarative هي نمط من انماط البرمجة بحيث يعبر عن منطق البرنامج من دون الحاجة الى وصف ادوات التحكم .الكثير من اللغات تطبق هذا الاسلوب محاولة منها لتقليل اوالتخلص من الآثار الجانبية side effects بحيث يجب وصف ما يجب على البرنامج تحقيقه لا وصف كيفية عمل البرنامج ليحقق ذلك الهدف . هذا الامر يتباين مع لغات البرمجة الامرية imperative التي تتطلب خوارزمية واضحة لتحديد كيفية الحل .
البرمجة التصريحية عادة ما تعتبر البرنامج كمجموعة نظريات لقضايا منطقية . والمعالجة بانها عملية استنتاجات في ذلك الفضاء المنطقي .
لقد امست اللغات التصريحية مثيرة للاهتمام مؤخراً عندما اصبح لها ذلك الاثر الواضح في البرامج التفرعية .
لغات البرمجة التصريحية المعروفة تتضمن التعابير المنتظمة regular expressions , برمجة منطقية , برمجة دالية functional.
الأنماط الفرعية
البرمجة التصريحية هي مظلة تجمع تحتها عدداً من أنماط البرمجة الأكثر شهرة.
البرمجة الوظيفية
البرمجة المنطقية
برمجة القيود
اللغات محددة النطاق
اللغات الهجين
انظر أيضاً
- تصنيف:لغات برمجية تصريحية
- Comparison of programming paradigms
- Constraint programming
- Domain-specific language
- Functional programming
- Imperative programming (contrast)
- Logic programming
الهامش
وصلات خارجية
- Frans Coenen. Characteristics of declarative programming languages. 1999.
- Olof Torgersson. A Note on Declarative Programming Paradigms and the Future of Definitional Programming. 1996.
