جون باكوس

كان جون وارنر باكوس (3 ديسمبر 1924 - 17 مارس 2007) عالم حاسوب أمريكيًا . قاد الفريق الذي ابتكر ونفذ لغة فورتران ، أول لغة برمجة عالية المستوى واسعة الانتشار ، وكان مخترع صيغة باكوس-ناور (BNF)، وهي صيغة شائعة الاستخدام لتعريف قواعد اللغات الرسمية . كما ساهم في تصميم لغة ألغول ، وبحث لاحقًا في نموذج البرمجة على مستوى الدوال ، وقدم نتائج بحثه في محاضرته المؤثرة التي ألقاها عام 1977 عند فوزه بجائزة تورينج بعنوان "هل يمكن تحرير البرمجة من أسلوب فون نيومان؟" ^{[ 1 ]}

منحت جمعية مهندسي الكهرباء والإلكترونيات (IEEE) باكوس جائزة دبليو دبليو ماكدويل عام 1967 لتطويره لغة فورتران. ^{[ 2 ]} وحصل على الميدالية الوطنية للعلوم عام 1975 ^{[ 3 ]} وجائزة تورينج من جمعية آلات الحوسبة (ACM) عام 1977 "لمساهماته العميقة والمؤثرة والدائمة في تصميم أنظمة برمجة عملية عالية المستوى، ولا سيما من خلال عمله على لغة فورتران، ولنشره إجراءات رسمية لتحديد مواصفات لغات البرمجة". ^{[ 4 ]}

تقاعد جون باكوس في عام 1991. وتوفي في منزله في آشلاند، أوريغون في 17 مارس 2007. ^{[ 5 ]}

وُلد باكوس في فيلادلفيا ونشأ في ويلمنجتون القريبة بولاية ديلاوير . ^{[ 6 ]} درس في مدرسة هيل في بوتستاون بولاية بنسلفانيا ، لكنه لم يكن طالبًا مجتهدًا على ما يبدو. ^{[ 5 ]} التحق بجامعة فرجينيا لدراسة الكيمياء ، لكنه واجه صعوبات في دراسته هناك، وطُرد بعد أقل من عام بسبب تغيبه المتكرر. ^{[ 7 ]} جُنّد لاحقًا في الجيش الأمريكي خلال الحرب العالمية الثانية ، ^{[ 5 ]} وترقى في النهاية إلى رتبة عريف، وتولى قيادة بطارية مضادة للطائرات متمركزة في فورت ستيوارت بولاية جورجيا . ^{[ 7 ]}

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

بعد انتقاله إلى مدينة نيويورك، تدرب في البداية كفني راديو ، ثم نما لديه اهتمام بالرياضيات. تخرج من جامعة كولومبيا بدرجة البكالوريوس عام 1949، ثم بدرجة الماجستير عام 1950، وكلاهما في الرياضيات، ^{[ 7 ] [ 10 ]} وانضم إلى شركة آي بي إم عام 1950. خلال سنواته الثلاث الأولى، عمل على الآلة الحاسبة الإلكترونية ذات التسلسل الانتقائي (SSEC) ؛ وكان أول مشروع رئيسي له هو كتابة برنامج لحساب مواقع القمر . في عام 1953، طور باكوس لغة البرمجة Speedcoding ، وهي أول لغة برمجة عالية المستوى مصممة خصيصًا لأجهزة كمبيوتر آي بي إم، وذلك للمساعدة في تطوير البرمجيات لجهاز الكمبيوتر IBM 701. ^{[ 11 ]}

كانت البرمجة صعبة للغاية في ذلك الوقت، وفي عام 1954، شكّل باكوس فريقًا لتحديد وتطوير لغة فورتران لحاسوب IBM 704. وكانت فورتران أول لغة برمجة عالية المستوى تُستخدم على نطاق واسع. وقد جعلت هذه اللغة واسعة الانتشار الحواسيب أجهزة عملية وسهلة الاستخدام للعلماء وغيرهم دون الحاجة إلى معرفة متعمقة بآلياتها. ^{[ 12 ]}

عمل باكوس في اللجان الدولية التي طورت لغة ALGOL 58 ولغة ALGOL 60 المؤثرة للغاية ، ^{[ 13 ]} والتي سرعان ما أصبحت المعيار العالمي الفعلي لنشر الخوارزميات . طور باكوس صيغة باكوس-ناور (BNF)، التي نُشرت في تقرير اليونسكو عن ALGOL 58. كانت هذه الصيغة عبارة عن تدوين رسمي قادر على وصف أي لغة برمجة خالية من السياق ، وكان لها دور هام في تطوير المترجمات . جُرِّبت بعض الانحرافات عن هذا النهج (لا سيما في لغتي Lisp و APL )، ولكن بحلول سبعينيات القرن العشرين، أصبحت مواصفات باكوس-ناور الخالية من السياق للغات الحاسوب معيارًا شائعًا، وذلك بعد تطوير مولدات المترجمات الآلية مثل yacc .

ساهمت هذه المساهمة في فوز باكوس بجائزة تورينج من جمعية آلات الحوسبة في عام 1977.

عمل باكوس لاحقًا على لغة برمجة على مستوى الدوال تُعرف باسم FP ، والتي وصفها في محاضرته عند استلام جائزة تورينج بعنوان "هل يمكن تحرير البرمجة من أسلوب فون نيومان ؟". ^{[ 1 ]} يُنظر أحيانًا إلى هذه الورقة البحثية على أنها اعتذار من باكوس عن ابتكاره لغة فورتران، إلا أنها لم تُسهم كثيرًا في جذب الاهتمام بلغة FP بقدر ما أسهمت في إثارة البحث في البرمجة الوظيفية بشكل عام. عندما روّج باكوس لأسلوب البرمجة على مستوى الدوال، أُسيء فهم رسالته في الغالب ^{[ 14 ]} على أنها مماثلة للغات البرمجة الوظيفية التقليدية.

استُلهمت لغة البرمجة الوظيفية (FP) بشكل كبير من لغة APL التي ابتكرها كينيث إي. إيفرسون ، ^{[ 15 ]} حتى أنها استخدمت مجموعة أحرف غير قياسية . ^{[ 16 ]} تم توزيع مترجم لغة FP مع نظام التشغيل يونكس 4.2BSD ، ^{[ 17 ]} ولكن كان هناك عدد قليل نسبيًا من تطبيقات اللغة، وكان معظمها يُستخدم لأغراض تعليمية. ^{[ 18 ]}

أمضى باكوس الجزء الأخير من مسيرته المهنية في تطوير لغة FL (اختصارًا لـ "مستوى الوظيفة")، وهي لغة برمجة خلفت لغة FP. كانت FL مشروعًا بحثيًا داخليًا لشركة IBM، وتوقف تطويرها عند انتهاء المشروع. لم يتبقَّ سوى عدد قليل من الأوراق البحثية التي توثقها، ولم يُنشر الكود المصدري للمترجم الموصوف فيها. كانت FL على خلاف مع لغات البرمجة الوظيفية التي طُوِّرت في ثمانينيات القرن الماضي، والتي كان معظمها يعتمد على حساب لامدا وأنظمة الكتابة الثابتة ، بدلًا من دمج العمليات الأولية كما في لغة APL. وقد طُبِّقت العديد من أفكار هذه اللغة الآن في إصدارات من لغة البرمجة J ، وهي اللغة التي ابتكرها إيفرسون خلفًا للغة APL.

• تم اختياره كزميل في شركة IBM (1963) ^{[ 19 ]}
• جائزة دبليو دبليو ماكدويل (1967) ^{[ 2 ]}
• الميدالية الوطنية للعلوم (1975) ^{[ 3 ]}
• جائزة تورينج (1977) ^{[ 4 ]}
• زميل الأكاديمية الأمريكية للفنون والعلوم (1985) ^{[ 20 ]}
• دكتوراه فخرية من جامعة هنري بوانكاريه (1989) ^{[ 21 ]}
• جائزة دريبر (1993) ^{[ 22 ]}
• جائزة زمالة متحف تاريخ الحاسوب "لتطويره لغة فورتران، ومساهماته في نظرية أنظمة الحاسوب وإدارة مشاريع البرمجيات." (1997) ^{[ 23 ]}
• الكويكب 6830 جونباكوس سُمّي تكريماً له (1 يونيو 2007) †

• قائمة رواد علوم الحاسوب

• مجموعة أوراق جون دبليو باكوس ، قسم المخطوطات، مكتبة الكونغرس ، واشنطن العاصمة

• السيرة الذاتية في كلية الرياضيات والإحصاء بجامعة سانت أندروز، اسكتلندا
• سيرة ذاتية في مشروع تاريخ الحوسبة
• مشروع FL (ملف Postscript)
• "نعي جون دبليو باكوس" . صحيفة نيويورك تايمز . 20 مارس 2007.
• أرشيفات آي بي إم
• نبذة عن BNF
• متحف هول أوف فيلوز لتاريخ الحاسوب
• كامبل-كيلي، مارتن (أبريل 2007). "نعي: جون باكوس (1924-2007): مخترع لغة البرمجة الأكثر انتشارًا في العلوم، فورتران" . مجلة نيتشر . 446 (7139): 998. doi : 10.1038/446998a . PMID 17460658. S2CID 4325337 .  
• مذكرة ألقيت في مؤتمر عام 2007 حول تصميم وتنفيذ لغات البرمجة