أساسيات لغات البرمجة

كتاب أساسيات لغات البرمجة ( EOPL ) هو كتاب مدرسي عن لغات البرمجة من تأليف دانيال ب. فريدمان ، وميتشل واند ، وكريستوفر ت. هاينز .

يستعرض كتاب EOPL مبادئ لغات البرمجة من منظور عملي. يبدأ الكتاب بمفسر مكتوب بلغة Scheme للغة أساسية وظيفية بسيطة تشبه حساب لامدا ، ثم يُضيف إليها بنىً برمجية بشكل منهجي. مع كل إضافة، كتعيين المتغيرات أو التحكم الشبيه بالخيوط، يُبين الكتاب زيادة في القدرة التعبيرية للغة البرمجة، والحاجة إلى بنى جديدة لصياغة مفسر مباشر. كما يُوضح الكتاب أن التحويلات المنهجية، كأسلوب تمرير التخزين أو أسلوب تمرير الاستمرارية ، يُمكنها حذف بعض البنى من اللغة التي يُصاغ بها المفسر.

يُخصَّص الجزء الثاني من الكتاب لترجمة منهجية للمترجم (أو المترجمين) إلى آلات التسجيل . تُبيِّن التحويلات كيفية حذف الإغلاقات من الرتبة العليا، وكائنات الاستمرار، واستدعاءات الدوال التكرارية، وغير ذلك. في النهاية، يحصل القارئ على "مترجم" لا يستخدم سوى استدعاءات الدوال التكرارية الذيلية وعبارات الإسناد بالإضافة إلى الشروط. يصبح من السهل ترجمة هذا الكود إلى برنامج بلغة C أو حتى برنامج بلغة التجميع. كميزة إضافية، يُبيِّن الكتاب كيفية حساب بعض "المعنى" مسبقًا وكيفية إنشاء تمثيل لهذه الحسابات المسبقة. ولأن هذا هو جوهر الترجمة، يُهيئ الكتاب القارئ أيضًا لدورة في مبادئ الترجمة وترجمة اللغات، وهو موضوع ذو صلة ولكنه متميز. إلى جانب النص الذي يشرح المفاهيم الأساسية، يتضمن الكتاب أيضًا سلسلة من التمارين، مما يُمكِّن القراء من استكشاف تصميمات بديلة وقضايا أخرى. ^{[ 1 ]}

على غرار كتاب "بنية وتفسير برامج الحاسوب" (SICP) ، يُمثل كتاب "مبادئ لغات البرمجة" (EOPL) تحولًا جذريًا عن منهج الكتب الدراسية السائد في ثمانينيات القرن الماضي. ففي ذلك الوقت، كان كتاب مبادئ لغات البرمجة يُقدم من أربع إلى ست لغات برمجة (أو حتى أكثر)، ويناقش أساليبها البرمجية وكيفية تنفيذها بشكل عام. وكانت الكتب الأكثر نجاحًا تُغطي عادةً لغات ALGOL 60 (وما يُعرف بعائلة لغات برمجة Algol)، و SNOBOL ، وLisp ، و Prolog . وحتى اليوم، لا يزال عدد لا بأس به من كتب لغات البرمجة عبارة عن دراسات استقصائية من هذا القبيل، وإن كان نطاقها قد تقلص.

بدأ مشروع EOPL عام ١٩٨٣، حين كانت جامعة إنديانا من الجامعات الرائدة في أبحاث لغات البرمجة. قام يوجين كولبيكر، أحد طلاب الدكتوراه لدى فريدمان، بنسخ وجمع محاضراته الـ ٣١١. ثم ساهم أعضاء هيئة تدريس آخرون، من بينهم ميتش واند وكريستوفر هاينز، في المشروع، محولين "دليل المسافر إلى عالم ما وراء الطبيعة" - كما سماه كولبيكر - إلى دراسة منهجية قائمة على المفسرات والتحويلات. على مدار ٢٥ عامًا، أصبح الكتاب مرجعًا كلاسيكيًا؛ وهو الآن في طبعته الثالثة، متضمنًا مواضيع إضافية مثل الأنواع والوحدات . يتضمن الجزء الأول منه الآن أفكارًا حول البرمجة من كتاب HtDP ، وهو كتاب دراسي غير تقليدي آخر، يستخدم لغة Scheme لتدريس مبادئ تصميم البرامج. وقد قدم المؤلفون، بالإضافة إلى ماثيو فلات ، مؤخرًا إضافات DrRacket ومستويات لغوية للتدريس باستخدام EOPL.

وقد أدى EOPL إلى ظهور نصين آخرين على الأقل مرتبطين به: كتاب كوينيك ^{[ 2 ]} Lisp in Small Pieces ^{[ 3 ]} وكتاب كريشنامورثي Programming Languages: Application and Interpretation .

• بنية وتفسير برامج الحاسوب
• كيفية تصميم البرامج

• الصفحة الرئيسية للمؤلفين لكتاب أساسيات لغات البرمجة ، الطبعة الثالثة
• الصفحة الرئيسية للكتاب للطبعة الأولى
• صفحة EoPL على موقع Schemewiki