TRAC (שפת תכנות)
| פרדיגמות | תכנות מקרו, עיבוד טקסט, תכנות פונקציונלי |
|---|---|
| מפתח | קלווין מורס |
| טיפוסיות | מחרוזת בלבד |
| מימושים | PDP-1, PDP-8, PDP-10, PDP-11 |
| הושפעה על ידי | Macro SAP |
| השפיעה על | SAM76, ML/I |
TRAC (ראשי תיבות של Text Reckoning And Compiling) שפה היא שפת תכנות שפותחה בין השנים 1959–1964 על ידי קלווין מורס והוטמעה לראשונה על PDP-1 בשנת 1964 על ידי ל. פיטר דויטש.[1] זוהי אחת משלוש "שפות ראשונות" שהומלצו על ידי טד נלסון בספר Computer Lib. השפה TRAC T64 שימשה לפחות עד שנת 1984, כאשר מורס עדכן אותה ל-TRAC T84.[1]
תיאור השפה
TRAC היא שפה המבוססת על טקסט בלבד – סוג של שפת מקרו. בשונה משפות מקרו "אד הוק" מסורתיות של אותה תקופה, כגון אלו שהיו נמצאות באסמבלרים, TRAC תוכננה בקפידה, היא עקבית ובמובנים רבים נחשבת לשפה שלמה. לשפה יש מפעילי קלט ופלט מפורשים, בניגוד לקלט/פלט המופעים בצורה מרומזת ברמת המקרו החיצונית, מה שהופך אותה לפשוטה יותר וגמישה יותר לעומת שפות מקרו ישנות.
TRAC היא שפת עיבוד טקסט,[2]המכונה גם שפת עיבוד מחרוזות.[3]כתוצאה מכך, סוג הנתונים היחיד הזמין הוא מחרוזת של תווים. מספרים מיוצגים כמחרוזות של ספרות, וחישוב אריתמטי של מספרים שלמים (ללא מגבלות ספציפיות על ערכים מקסימליים) מתבצע באמצעות פונקציות מובנות ("פרימיטיביות") הפועלות על הייצוג המחרוזתי שלהם. ניתן לטעון שאחד מהיבטי השלמות של השפה הוא שהקונספט של שגיאה מוגבל לאירועים כגון חוסר במקום אחסון או בקשה להרחבת מחרוזת העולה על זיכרון העבודה של המפרש; מה שבשפות רבות ייחשב לפעולות בלתי חוקיות, ב-TRAC מטופל על ידי הגדרת תוצאה (לעיתים מחרוזת ריקה) לכל קומבינציה אפשרית של מחרוזות ארגומנטים לפונקציות.
TRAC היא, בדומה ל־APL או LISP, שפה המבוססת על ביטויים (בניגוד לשפות המבוססות על פרוצדורות) אך, בשונה מ-APL, אין בה מפעילים כלל. במובנים רבים, היא דוגמה לתכנות פונקציונלי טהור. כמו ב-LISP, התחביר שלה כולל לרוב רמות רבות של סוגריים מקוננים.
TRAC היא homoiconic: כלומר, ניתן לייצג ולתפעל תוכנית TRAC בתוך שפת TRAC עצמה.[4][5][6]הדגש על המחרוזות כסוג הנתונים היחיד הוא כה חזק עד ש-TRAC מספקת מנגנונים לטיפול בתווי התחביר של השפה עצמה, הן בתפקידם הסינטקטי והן כתווים רגילים, וקוד משתנה עצמי (self-modifying code) נתפס כתוצאה טבעית מטכניקות התכנות ה"טיפוסיות" ב-TRAC ולא כתכונה מיוחדת.
ההשראה העיקרית ל-TRAC נבעה משלושה מאמרים של דאגלס מקאלרוי.[4][7][8][9]
קניין רוחני
מורס רשם את המותג של השם TRAC במטרה לשמור על שליטתו בהגדרת השפה, מה שהיה מהלך יוצא דופן ופורץ דרך באותה תקופה. בשלב מסוים, הוא הגיש תביעה בגין הפרת קניין רוחני נגד DEC, בטענה שחוזה אספקת מיני-מחשב עם מפרש TRAC הפר את זכויותיו. "הגיליון הראשון של Dr. Dobb's Journal, אחד מהפרסומים הראשונים בתחום המחשבים האישיים, מכיל טור דעות חריף נגד מורס והחמדנות שלו בניסיון לגבות כסף מאנשים עבור שפת התכנות שלו."[10][11] מאז, השם שימש מספר פעמים לפרויקטים בתחום טכנולוגיית המידע שאינם קשורים זה לזה, כולל מערכת ניהול פרויקטים בקוד פתוח בשם Trac.
השפעה ושימוש
TRAC הוטמעה לאחר מכן על מחשבים מסוג PDP-8, PDP-10, ו-PDP-11.
נוצרו שפות שונות בהשראת TRAC. כדי להימנע מבעיות עם מורס, שינו את שמות הפרימיטיבים ו/או השתמשו במטא-תווים שונים. במקרה של SAM76, נוספו פרימיטיבים, לפי דברי קלאוד קאגן, "משום ש-TRAC היא כמו שפת תינוק". במקרה של MINT, נוספו פרימיטיבים כדי לאפשר גישה למערכת עורך טקסט מתקדמת.
- אחת הבעיות הנתפסות ב-TRAC הייתה חוסר בהרחבה מלאה: חלק מהפונקציות הפרימיטיביות ב-TRAC רגישות להבחנה בין ארגומנט ריק (מחרוזת של 0 תווים) לבין ארגומנט שאינו קיים (ללא סימון גבולות), אך מעבר לארגומנט האחרון שאינו ריק, פונקציה שהוגדרה על ידי המשתמש אינה יכולה להבחין ביניהם. SAM76 הייתה שפה בדומה ל-TRAC אשר ביטלה מגבלה זו.
- ראס נלסון יישם שפת הרחבות ל-emacs בשם MINT (ראשי תיבות של MINT Is Not TRAC). שפה זו משמשת בעורך FreeMACS של FreeDOS.
- ג'ון ווקר יישם ספריית שפת הרחבות הניתנת להטמעה בשם DIESEL [12] (ראשי תיבות של Dumb Interpretively Evaluated String Expression Language) במקור לעיבוד מקרו בתפריטים ב-AutoCAD.[13]
TRAC שימשה על ידי FTP Software במוצר PC/TCP שלה כשפת סקריפטים למתזג מודמים.
TRAC שימשה גם כ-front end למערכת הרינדור Cray של Digital Productions לסרטים, כולל The Last Starfighter.
דוגמאות
דוגמה 1: תוכנית בסיסית ב-TRAC T64
#(DS,PROG.A,(
#(PS,(WHAT IS YOUR NAME?
))
#(DS,NAME,##(RS))
#(PS,(
GOODBYE))
))'
דוגמה 2: חישוב מספרי פיבונאצ'י ב-TRAC T84
:(s,fibo,(
:(ei,<1>, 1, 0,(
:(ei,<1>, 2, 1,(
:(aa, :(ri,fibo,:(as, <1>,1)),:(ri,fibo,:(as, <1>,2)))
))
))
))`
:(mw,fibo)'
ראו גם
- קרן TRAC (משמר)
- TRAC, שפה המתארת פרוצדורות עבור מקלדת תגובתית ב-Communications of the ACM, כרך 9, מספר 3, מרץ 1966.
- דף המידע של Andrew Walker על TRAC
- ערך TRAC ב-HOPL אנציקלופדיה של שפות תכנות
- פרויקט יישום של TRAC ב-SourceForge.
- רhאיון היסטורי בעל-פה עם Calvin N. Mooers ו-Charlotte D. Mooers ב-Charles Babbage Institute. הריאיון דן בשליפה של מידע ובמחקר על שפות תכנות מתקופת מלחמת העולם השנייה ועד תחילת שנות ה-90.
הערות שוליים
- ^ 1.0 1.1 "Coding Supply — Everything a Programmer Needs". אורכב מ-המקור ב-2001-04-08.
- ↑ David Walden. "Macro Memories, 1964–2013". 2014.
- ↑ Carol Loeb Mir. "השוואה של טיפול במחרוזות בארבע שפות תכנות". 1972.
- ^ 4.0 4.1 Mooers, C.N.; Deutsch, L.P. (1965). "TRAC, A Text-Handling Language". Proceeding ACM '65 Proceedings of the 1965 20th national conference. pp. 229–246. doi:10.1145/800197.806048. S2CID 40013081.
- ↑ Kay, Alan (1969). The Reactive Engine (PhD). University of Utah.
- ↑ Klaas van Schelven. "אל תגיד 'Homoiconic'".
- ↑ McIlroy, M.D., הרחבות הוראות מקרו לשפות מהדר. CACM 3, מס' 4 (1960), 214–220.
- ↑ Eastwood, D.E. ו-McIlroy, M.D., שינוי מהדר מקרו באמצעות SAP. מרכז החישוב של מעבדות Bell Telephone, 1959.
- ↑ McIlroy, M.D., שימוש בהוראות מקרו של SAP לטיפול במבנים סימבוליים. מרכז החישוב של מעבדות Bell Telephone (1960)
- ↑ Mooers, Calvin (22 ביוני 1993). "ריאיון היסטורי בעל-פה עם Calvin N. Mooers ו-Charlotte D. Mooers". Charles Babbage Institute.
{{cite journal}}: (עזרה) - ↑ "Dr. Dobb's Journal - גיליון 1". 1976.
- ↑ "DIESEL - Dumb Interpretively Evaluated String Expression Language". www.fourmilab.ch.
- ↑ "רכיבי תוכנה / מערכות Embedded". www.fourmilab.ch.
TRAC (שפת תכנות)40525248Q2842324