أنواع لغات البرمجة عالية المستوى
تتوزع لغات البرمجة عالية المستوى ضمن فئات متنوعة، تتضمن التصنيفات التالية:
أنواع لغات البرمجة عالية المستوى حسب الاستخدام
يمكن تصنيف لغات البرمجة عالية المستوى إلى فئات متعددة بناءً على نوع الاستخدام، على النحو التالي:
اللغات الخوارزمية
تُستخدم اللغات الخوارزمية (بالإنجليزية: Algorithmic Languages) بشكل رئيسي في حساب العمليات الرياضية والعمليات المنطقية. تهتم هذه اللغات بتنفيذ العمليات الجبرية، وتعتبر من أقدم أشكال لغات البرمجة عالية المستوى. من أبرز هذه اللغات لغة FORTRAN، ولغة ALGOL، ولغة LISP، ولغة C.
اللغات الموجهة للأعمال
توفر اللغات الموجهة للأعمال (بالإنجليزية: Business-Oriented Languages) حلولًا برمجية في ميادين التجارة والأعمال. تعتبر لغة COBOL من أشهر هذه اللغات، حيث تم استخدامها لأول مرة في عام 1959، وتتيح إجراء مهام برمجية غير ممكنة باستخدام اللغات العلمية الأخرى. تمكن المبرمج من تجميع بيانات مختلفة مثل الرقم، والاسم، والعمر، والعنوان ضمن سجلات موحدة. من الأمثلة الأخرى على هذا النوع؛ لغة SQL الخاصة ببرمجة قواعد البيانات.
اللغات الموجهة للتعليم
تم تصميم اللغات الموجهة للتعليم (بالإنجليزية: Education-Oriented Languages) لتسهيل عملية تعلم البرمجة. من بين هذه اللغات، لغة Basic التي تم تطويرها في الستينيات على يد جون كيميني وتوماس كورتز، التي تيسّر التعلم حتى للغير متخصصين في علوم الحوسبة، بالإضافة إلى لغة Pascal التي أُنتجت عام 1970، والتي كانت شائعة لتعليمي البرمجة بالسبعينيات والثمانينيات.
لغات تنسيق المستندات
تختص لغات تنسيق المستندات (بالإنجليزية: Document Formatting Languages) بمعالجة النصوص، والجداول، والمستندات. على سبيل المثال، لغة TeX تُستخدم لتنسيق النصوص، وتغيير الشكل العام للنصوص، إلى جانب تخطيط الجداول وإدراج الصور. من اللغات الأخرى في هذا المجال لغة PostScript وSGML.
لغات تطوير صفحات الويب والإنترنت
تعتبر لغات تطوير صفحات الويب (بالإنجليزية: Internet and Web Page Development Languages) الأساس النابض للإنترنت، حيث تُعنى بتطوير محتوى صفحات الويب وأنشاء المواقع. بدون هذه اللغات، لم يكن بالإمكان الوصول إلى الشكل المتقدم الذي نراه اليوم. من أمثلة هذه اللغات؛ JavaScript، وJava، وPHP، وXML، وPython، وHTML، وغيرها.
أنواع لغات البرمجة عالية المستوى وفق نمط البرمجة
تصنف لغات البرمجة عالية المستوى بناءً على نموذج البرمجة (بالإنجليزية: Programming Paradigm) الذي تحدد كيفية إدارة اللغة لأداء مهامها البرمجية بكفاءة. هذا النموذج يحدد طبيعة المهام المناسبة لكل لغة، وعلى الرغم من أن معظم اللغات الحديثة تعتمد الاستخدام العام، إلا أن هناك أنماط معينة تناسب مهام محددة. وفيما يلي الأنواع وفق أنماط البرمجة:
اللغات الإجرائية
تعرف اللغات الإجرائية (بالإنجليزية: Procedural Languages) أيضاً بلغات البرمجة الأمرية (بالإنجليزية: Imperative Programming Language)، حيث يتم تنفيذ الأوامر كخطوط متتابعة من الإجراءات. كل إجراء يؤدي مهمة معينة، ويمكن للمبرمج استدعاء نفس الإجراء عدة مرات. من بين هذه اللغات FORTRAN، وALGOL، وC، وBASIC، وADA.
اللغات الوظيفية
تتعامل اللغات الوظيفية (بالإنجليزية: Functional Languages) مع الحسابات الرياضية، وتتبع القوانين الرياضية. تتميز هذه اللغات بعدم تغييرها لحالة البيانات الأصلية، وبالتالي لا تدعم الجمل الشرطية أو جمل التكرار. إن البرامج المكتوبة بها تمتاز بالكفاءة العالية.
اللغات الموجهة للكائنات
تتيح اللغات الموجهة للكائنات (بالإنجليزية: Object-Oriented Languages) نماذج مسبقة للكائنات التي يمكن إعادة استخدامها في برامج أخرى، مما يسهل على المبرمجين إنشاء وتعديل هذه الكائنات. تُجمع البيانات والوظائف في كائن موحد، مما يقلل من التعليمات البرمجية الزائدة. من الأمثلة على هذه اللغات; ++C، و#C، وPython، وJava.
اللغات النصية
تتميز اللغات النصية (بالإنجليزية: Scripting Languages) بتداخلها مع كلاً من اللغات الموجهة للكائنات واللغات الإجرائية، ولكنها تُصنف كنوع مستقل، إذ تستخدم للتحكم في تطبيقات محددة مثل تكنولوجيا متصفحات الويب. تتكون هذه اللغات من سلسلة تعريفات يمكن تنفيذها دون الحاجة إلى تجميع. تشمل البرمجة النصية من جانب الخادم (مثل PHP وPython) ومن جانب العميل (مثل JavaScript).
اللغات المنطقية
تركز اللغات المنطقية (بالإنجليزية: Logic Languages) على حل المشكلات من خلال الاستنتاج المنطقي، مستخدمة إطارًا منطقيًا لتحديد العلاقات بين القواعد والحقائق. تُعتبر لغة Prolog إحدى أهم الأمثلة على هذا النوع من اللغات.