🥇פול גרהם הכריז על שפת תכנות חדשה Bel

שפת בל כתובה בשפת בל.

ב-1960, ג'ון מקארתי תיאר את ליספ, סוג חדש של שפת תכנות. אני אומר "סוג חדש" כי ליספ לא הייתה רק שפה חדשה, אלא דרך חדשה לתאר שפות.

כדי להגדיר את ליספ, הוא התחיל עם קבוצה קטנה של הצהרות, מעין אקסיומות, שבהן השתמש כדי לכתוב מתורגמן לשפה עצמה.

היא לא התכוונה לתאר שפת תכנות במובן הרגיל - שפה המשמשת כדי לומר למחשב מה לעשות. בעבודתו משנת 1960, ליספ הובן כמודל רשמי של חישוב הדומה למכונת טיורינג. מקארתי לא חשב להשתמש בו במחשבים עד שסטיב ראסל, תלמידו לתואר שני, הציע זאת.

ל-Lisp בשנת 1960 לא היו התכונות המשותפות לשפות תכנות. לדוגמה, לא היו מספרים, שגיאות או I/O. אז אנשים שהשתמשו ב-Lisp כבסיס לשפות המשמשות לתכנות מחשבים נאלצו להוסיף את התכונות הללו בעצמם. והם עשו זאת על ידי נטישת הגישה האקסיומטית.

לפיכך, הפיתוח של ליספ התנהל בשני שלבים - ולכאורה די עצמאיים -: שלב פורמלי, שהוצג במאמר משנת 1960, ושלב יישום, בו הותאמה והורחבה השפה לרוץ על מחשבים. העבודה העיקרית, אם נמדדה לפי מספר ההזדמנויות המיושמות, התרחשה בשלב היישום. Lisp מ-1960, תורגם ל-Common Lisp, מכיל 53 שורות בלבד. הוא עושה רק מה שצריך כדי לפרש את הביטויים. כל השאר התווסף בשלב היישום.

ההשערה שלי היא שלמרות ההיסטוריה הקשה שלה, ליספ נהנתה מהעובדה שהתפתחותה התרחשה בשני שלבים; שהתרגיל המקורי של הגדרת שפה על ידי כתיבת המתורגמן שלה העניק לליספ את התכונות הטובות ביותר שלה. ואם כן, למה לא ללכת רחוק יותר?

בל הוא ניסיון לענות על השאלה: מה אם במקום לעבור מהשלב הפורמלי לשלב הביצוע בשלב מוקדם, המעבר הזה נעשה מאוחר ככל האפשר? אם תמשיך להשתמש בגישה האקסיומטית עד שיהיה לך משהו קרוב לשפת תכנות שלמה, אילו אקסיומות תצטרך, ואיך תיראה השפה שתתקבל?

אני רוצה להיות ברור מה זה בל ומה זה לא. למרות שיש לו הרבה יותר תכונות מאשר ליספ של מקארתי מ-1960, בל הוא עדיין מוצר בשלב הפורמלי שלו. כמו ליספ, המתוארת במאמר משנת 1960, זו לא שפה שבה אתה יכול להשתמש כדי לתכנת. בעיקר כי, כמו ליספ של מקארתי, לא אכפת לו מיעילות. כשאני מוסיף משהו לבל, אני מתאר את משמעות התוספת מבלי לנסות לספק יישום יעיל.

בשביל מה? למה להאריך את השלב הפורמלי? תשובה אחת היא לראות לאן הגישה האקסיומטית יכולה לקחת אותנו, וזה תרגיל מעניין בפני עצמו. אם מחשבים היו חזקים כמו שהיינו רוצים שהם יהיו, איך היו נראות השפות?

אבל אני גם מאמין שאפשר לכתוב יישום יעיל מבוסס Bel על ידי הוספת הגבלות. אם אתה רוצה שפה בעלת כוח הבעה, בהירות ויעילות, אולי כדאי להתחיל עם כוח הבעה ובהירות, ולאחר מכן להוסיף הגבלות, במקום ללכת בכיוון ההפוך.

אז אם אתה רוצה לנסות לכתוב יישום המבוסס על Bel, קדימה. אני אהיה אחד המשתמשים הראשונים.

בסופו של דבר, שיחזרתי כמה דברים מניבים קודמים. או שהמעצבים שלהם הבינו את זה נכון, או שהושפעו מניבים ששימשו בעבר, אני לא רואה את התשובה הנכונה - הזמן יגיד. השתדלתי גם לא להתרחק מדי ממוסכמות ליספ. מה שאומר שאם אתה רואה התרחקות ממוסכמות ליספ, יכול להיות שיש לזה סיבה.

המשך תיאור השפה כאן.

תודה על התרגום: דניס מיטרופולסקי