prompt:
Translate the following text from en to ar:
Tail recursive functions have the property that their execution can be traced in a simple way.

completion: تتميز الدوال التكرارية الطرفية بخاصية إمكانية تتبع تنفيذها بطريقة بسيطة.

source_lang: en

target_lang: ar

domain: technical

complexity: standard


prompt:
Translate the following text from ar to en:
في لغات البرمجة الوظيفية، تُفضل الدوال التكرارية الطرفية على الحلقات.

completion: In functional programming languages, tail recursive functions are preferred over loops.

source_lang: ar

target_lang: en


prompt:
Translate the following text from en to ar:
In this chapter we start programming in OCaml. We use an interactive tool called an interpreter that checks and executes the declarations of a program one by one.

completion: في هذا الفصل، نبدأ البرمجة في أوكاميل. نستخدم أداة تفاعلية تسمى المترجم الفوري الذي يتحقق وينفذ إعلانات البرنامج واحدًا تلو الآخر.


prompt:
Translate the following text from en to ar:
31 −1 = 2147483647, while the official OCaml interpreter realizesmaxintas 2 61 −1 = 4611686018427387903.

completion: 31 −1 = 2147483647، في حين أن مترجم OCaml الرسمي يحقق الحد الأقصى للأعداد الصحيحة 2 61 −1 = 4611686018427387903.


prompt:
Translate the following text from en to ar:
We formulate the static semantics of abstract expressions usingtyping judgments E`e:t saying that in the environmentEthe expressionehas typet.

completion: نقوم بصياغة الدلالات الثابتة للتعبيرات المجردة باستخدام أحكام الكتابة E`e:t، والتي تنص على أن التعبير e في البيئة E له النوع t.


prompt:
Translate the following text from en to ar:
When we program, expressions are written as sequences of charac- ters, which are converted into sequences of words, which are then parsed into expressions.

completion: عندما نبرمج، تُكتب التعبيرات على شكل تسلسلات من الأحرف، والتي تُحوّل إلى تسلسلات من الكلمات، والتي تُحلل بعد ذلك إلى تعبيرات.


prompt:
Translate the following text from en to ar:
The type checking algorithm given by the typing rules needs to guess the types of the argument variables of lambda expressions.

completion: टाइपिंग नियमों द्वारा दिया गया टाइप चेकिंग एल्गोरिदम को लैम्डा अभिव्यक्तियों के तर्क चर के प्रकारों का अनुमान लगाने की आवश्यकता है।


prompt:
Translate the following text from en to ar:
Given a nonempty list x::l (i.e., a list obtained with cons), we call x the head and l the tail of the list.

completion: بالنظر إلى قائمة غير فارغة x::l (أي قائمة تم الحصول عليها باستخدام cons)، فإننا نطلق على x الرأس و l الذيل للقائمة.


prompt:
Translate the following text from en to ar:
Given a list [x 1 ,...,x n ], we call the values x 1 ,...,x n the elements or the members of the list.

completion: एक सूची [x 1 ,...,x n ] को देखते हुए, हम मानों x 1 ,...,x n को सूची के तत्व या सदस्य कहते हैं।


prompt:
Translate the following text from en to ar:
We start with the empty list, which is sorted, and insert the elements oflone by one.

completion: نبدأ بالقائمة الفارغة، والتي يتم فرزها، وندرج عناصر واحدة تلو الأخرى.


prompt:
Translate the following text from ar to en:
نبدأ بالقائمة الفارغة، والتي يتم فرزها، وندرج عناصر واحدة تلو الأخرى.

completion: We start with the empty list, which is sorted, and insert the elements one by one.


prompt:
Translate the following text from en to ar:
The running time of mtree is r(0) := 1 r(n+ 1) := 1 +r(n) +r(n) A recurrence solver yields the explicit characterization r(n) = 2 n+1 −1 which tells us that mtree has exponential running time O(2 n ).

completion: زمن تشغيل mtree هو r(0) := 1 r(n+ 1) := 1 +r(n) +r(n) يعطينا حل التكرار التوصيف الصريح r(n) = 2 n+1 −1 مما يخبرنا أن mtree لديه زمن تشغيل أسي O(2 n ).

complexity: complex


prompt:
Translate the following text from en to ar:
The parsing function ty ′ accommodates”->”as a right-associative infix operator.

completion: تستوعب دالة التحليل ty ′ ”->” كعامل تشغيل داخلي مرتبط من اليمين.


prompt:
Translate the following text from en to ar:
The grammar for abstract expressions translates into a constructor type declaration in OCaml as follows: typevar =string typecon =Bcon of bool|Icon of int typeop =Add|Sub|Mul|Leq typeexp =Var ofvar |Con ofcon |Oapp ofop * exp * exp |Fapp ofexp * exp |If ofexp * exp *exp |Lam ofvar * exp |Let ofvar * exp * exp |Letrec ofvar * var * exp * exp

completion: تترجم قواعد التعبيرات المجردة إلى إعلان نوع منشئ في OCaml على النحو التالي: typevar =string typecon =Bcon of bool|Icon of int typeop =Add|Sub|Mul|Leq typeexp =Var ofvar |Con ofcon |Oapp ofop * exp * exp |Fapp ofexp * exp |If ofexp * exp *exp |Lam ofvar * exp |Let ofvar * exp * exp |Letrec ofvar * var * exp * exp


prompt:
Translate the following text from en to ar:
Arrays are mutable data structures representing computer memory within programming languages. The mutability of arrays is in contrast to the immutability of values (e.g., numbers, lists).

completion: المصفوفات هي هياكل بيانات قابلة للتغيير تمثل ذاكرة الكمبيوتر داخل لغات البرمجة. إن قابلية تغيير المصفوفات تتناقض مع عدم قابلية تغيير القيم (مثل الأرقام والقوائم).


prompt:
Translate the following text from en to ar:
The algorithm now reverses a segmenti < jin an array by swapping the values atiandjand continuing with the smaller segment (i+ 1,j−1): letreverse a :unit= let recloop i j = ifi > jthen() else(swap a i j; loop (i+1) (j-1)) inloop 0 (Array.length a - 1)

completion: يقوم الخوارزم الآن بعكس جزء i < j في مصفوفة عن طريق تبديل القيم في i و j والاستمرار مع الجزء الأصغر (i+ 1,j−1): letreverse a :unit= let recloop i j = ifi > jthen() else(swap a i j; loop (i+1) (j-1)) inloop 0 (Array.length a - 1)


prompt:
Translate the following text from en to ar:
OCaml’s polymorphic equality test = :∀α. α→α→B considers two arrays as equal if their states are equal. However, different arrays may have the same state.

completion: اختبار المساواة متعدد الأشكال في OCaml = :∀α. α→α→B يعتبر مصفوفتين متساويتين إذا كانت حالاتهما متساوية. ومع ذلك، قد يكون للمصفوفتين المختلفتين نفس الحالة.


prompt:
Translate the following text from en to ar:
A heap is an array where mutable fixed-length sequences of machine integers called blocks are stored.

completion: المكدس عبارة عن مصفوفة حيث يتم تخزين تسلسلات ذات طول ثابت قابلة للتغيير من الأعداد الصحيحة للآلة تسمى الكتل.