ג'ון באקוס (John Backus) הוביל את הצוות ב-IBM שפיתח את פורטרן (Fortran), שפת התכנות העילית הראשונה שזכתה לתפוצה רחבה, אשר שינתה את האופן שבו בני אדם יצרו אינטראקציה עם מחשבים מוקדמים. הוא נולד בפילדלפיה בשנת 1924, וקריירה שלו נמשכה למעלה מארבעה עשורים ב-IBM, שם השפיע הן על היישום המעשי של קוד והן על המבנים המתמטיים הפורמליים המגדירים את תחביר התכנות המודרני.
שירות צבאי והשכלה מוקדמת
לפני תקופתו ב-IBM, עבר באקוס מסלול אקדמי לא רציף. הוא למד בבית הספר היל (The Hill School) ולאחר מכן באוניברסיטת וירג'יניה, שם הוביל היעדרות מרובה משיעורים להרחקתו. במהלך מלחמת העולם השנייה, הוא שירת בצבא ארצות הברית ופיקד על סוללת נגד-מטוסים. מבחני התאמה צבאיים הובילו להעברתו ללימודי הנדסה באוניברסיטת פיטסבורג ולתוכנית קדם-רפואה במכללת האברפורד. לאחר פרישתו מבית הספר לרפואה ועקבות ניתוח להחלפת פלטת עצם בגולגולת, הוא השתחרר בשנת 1946.
פורטרן וחדשנות ב-IBM
באקוס הצטרף ל-IBM בשנת 1950 לאחר שסיים תואר ראשון ושני במתמטיקה מאוניברסיטת קולומביה. עבודתו המוקדמת כללה חישוב מיקומי ירח עבור המחשב הרציף האלקטרוני הסלקטיבי (Selective Sequence Electronic Calculator). עד שנת 1953, הוא פיתח את Speedcoding, מבשר להישגו המשמעותי ביותר: פורטרן. פורטרן, שהוצגה כדי להקל על פיתוח תוכנה ב-IBM 704, עקפה את הצורך בידע עמוק בארכיטקטורת מכונה, ובכך קבעה סטנדרט עילית שאפשר למדענים להשתמש במחשבים ככלים מעשיים.
סימון פורמלי ותקנים אלגוריתמיים
בעקבות עבודתו על פורטרן, תרם באקוס לפיתוח ALGOL 58 ו-ALGOL 60. כדי לפתור מורכבויות בהגדרת התחביר של שפות אלו, הוא יצר את צורת באקוס-נאור (BNF). סימון זה סיפק שיטה פורמלית ועקבית לתיאור דקדוקים חופשיים מהקשר, והפך לתכונה סטנדרטית בפיתוח מהדרים. עבודתו בהגדרת הליכים פורמליים אלו היוותה הצדקה עיקרית לקבלת פרס טיורינג של ה-ACM בשנת 1977.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →מחקר ברמת הפונקציה
מאוחר יותר בקריירה שלו, התמקד באקוס בפרדיגמת תכנות ברמת הפונקציה. הוא הציג את השפה FP, אותה פירט בהרצאת פרס טיורינג שלו ב-1977, תוך ביקורת על סגנון התכנות המסורתי של פון נוימן. הפרויקט האחרון שלו, FL, נועד לפתח מושגים אלו הלאה בתוך IBM. על אף ששפות אלו זכו ליישום מוגבל בהשוואה לפורטרן, הן השפיעו על מחקר מתמשך בתכנות פונקציונלי ועל העיצוב של שפות מאוחרות יותר כמו J.
עובדות מהירות
- נולד: 1924, פילדלפיה - נפטר: 2007, אשלנד - השכלה: אוניברסיטת וירג'יניה, אוניברסיטת קולומביה - המצאה מרכזית: פורטרן - פורמליזם: צורת באקוס-נאור (BNF) - העסקה ב-IBM: 1950–1991 - פרס מרכזי: פרס טיורינג של ה-ACM (1977) - מקום מנוחה אחרון: הקולומבריום של סן פרנסיסקו
שאלות שקוראים שואלים
### מה הייתה החשיבות של צורת באקוס-נאור?
היא סיפקה סימון פורמלי להגדרת התחביר של שפות תכנות, והפכה לתקן עולמי לפרסום אלגוריתמים.
### האם ג'ון באקוס יצר שפות נוספות אחרי פורטרן?
כן, הוא פיתח שפות תכנות ברמת הפונקציה, כולל FP ויורשתה, FL, במהלך החלק המאוחר של הקריירה שלו.