بيتا (لغة برمجة)

من الناحية التقنية، توفر BETA العديد من الميزات الفريدة. يتم توحيد الفئات والإجراءات ضمن مفهوم واحد، وهو النمط . كما تُعرَّف الفئات على أنها خصائص/سمات للكائنات. هذا يعني أنه لا يمكن إنشاء مثيل لفئة دون سياق كائن صريح. ونتيجة لذلك، تدعم BETA الفئات المتداخلة . يمكن تعريف الفئات افتراضيًا، تمامًا كما هو الحال مع الطرق الافتراضية في معظم لغات البرمجة كائنية التوجه. لا يتم استبدال الكيانات الافتراضية (مثل الطرق والفئات) أبدًا؛ بل يُعاد تعريفها أو تخصيصها.

تدعم لغة بيتا (BETA) منظور البرمجة الكائنية، وتوفر إمكانيات شاملة للبرمجة الإجرائية والوظيفية. كما تتميز بآليات تجريد قوية لدعم تحديد الكائنات وتصنيفها وتركيبها. بيتا لغة ذات كتابة ثابتة، مثل سيمولا وإيفل وسي ++ ، حيث يتم التحقق من معظم أنواع البيانات أثناء الترجمة. ^{[ 1 ]} تهدف بيتا إلى تحقيق توازن مثالي بين التحقق من أنواع البيانات أثناء الترجمة والتحقق منها أثناء التشغيل.

من أبرز سمات هذه اللغة مفهوم الأنماط. ففي لغات برمجة أخرى، مثل C++ ، نجد العديد من الأصناف والإجراءات. أما لغة BETA فتُعبّر عن هذين المفهومين باستخدام الأنماط.

على سبيل المثال، سيكون للفئة البسيطة في لغة C++ الشكل التالي:

class point { int x , y ; };

في الإصدار التجريبي، يمكن تمثيل نفس الفئة بالنمط

نقطة : ( س ، ص : عدد صحيح )​​

أي أن الصنف المسمى "point" سيحتوي على حقلين، x و y ، من نوع عدد صحيح . تُستخدم الرموز (# و #) لتعريف الأنماط. وتُستخدم النقطتان الرأسيتان لتعريف الأنماط والمتغيرات. أما علامة @ قبل نوع العدد الصحيح في تعريفات الحقول فتشير إلى أن هذه الحقول أعداد صحيحة، وليست، على النقيض، مراجع أو مصفوفات أو أنماط أخرى.

للمقارنة، يمكن أن يكون للإجراء في لغة C++ الشكل التالي:

int max ( int x , int y ) { if ( x >= y ) { return x ; } else { return y ; } }

في الإصدار التجريبي (BETA)، يمكن كتابة مثل هذه الدالة باستخدام نمط معين.

max : ( # x , y , z : @ integer enter ( x , y ) do ( if x >= y // True then x -> z else y -> z if ) exit z # )

المتغيرات x و y و z هي متغيرات محلية. تحدد الكلمة المفتاحية enter معلمات الإدخال للنمط، بينما تحدد الكلمة المفتاحية exit نتيجة الدالة. بينهما، تُسبق الكلمة المفتاحية do تسلسل العمليات المطلوب تنفيذها. يُحدد الشرط باستخدام (if و if) ، أي أن الكلمة المفتاحية if تُصبح جزءًا من القوسين المفتوح والمغلق. يتم التحقق من صحة الشرط باستخدام // True داخل كتلة if. أخيرًا، يُسند عامل الإسناد - > القيمة الموجودة على يساره إلى المتغير الموجود على يمينه.

تقوم هذه الشفرة البرمجية بطباعة السطر القياسي "Hello world!" :

(# نفّذ الأمر التالي: 'Hello betas!'->PutLine ج)