מבנה הנתונים הבסיסי של APL הוא מערך מרובה ממדים. השפה נכתבת בעזרת סימנים מיוחדים המאפשרים ייצוג של כל הפונקציות והאופרטורים הקיימים בה בתווים בודדים, וכתוצאה מכך היא תמציתית מאוד ביחס לשפות אחרות.
קנת' יוג'ין אַייבֶרְסוֹן (אנ') התחיל לעבוד על סימון מתמטי חדש לפעולות על מערכים באוניברסיטת הרווארד בשנת 1957. בשנת 1960 הוא התחיל לעבוד ב־IBM, שם המשיך לפתח את הסימון החדש יחד עם אַדִין ד' פַלְקוֹף והפיץ אותו בספרו A Programming Language בשנת 1962[1]. ההקדמה בספר מתארת את ייעודה של השפה כך:
Applied mathematics is largely concerned with the design and analysis of explicit procedures for calculating the exact or approximate values of various functions. Such explicit procedures are called algorithms or programs. Because an effective notation for the description of programs exhibits considerable syntactic structure, it is called a programming language.
בתרגום לעברית: ”המתמטיקה השימושית עוסקת בעיקר בעיצוב וניתוח של תהליכים מפורטים לחישוב ערכן המדויק או המשוער של פונקציות שונות. תהליכים מפורטים כאלה נקראים אלגוריתמים או תוכניות. מכיוון שסימון יעיל לתיאור תוכניות מניב תחביר מובנה מאוד, הוא נקרא שפת תכנות”.
הסימון החדש שימש בעיקר בתוך IBM לדו"חות מחקר קצרים של מערכות מחשב, למשל B5000 של המתחרה Burroughs ומנגנון המחסנית שלה, בתקופה שבה IBM העריכה את יעילותן של ארכיטקטורות מחשב שונות עבור מחשבים עתידיים.
אייברסון השתמש בסימון שלו גם בטיוטה לפרק "A Programming Language" בספר "Automatic Data Processing" שאותו חיבר יחד עם פרד ברוקס[6].
המשך פיתוח הסימון לשפת תכנות
הניסיון הראשון להשתמש בסימון כדי לתאר מערכות מחשב שלמות ב־IBM התחיל בשנת 1962, אחרי שפלקוף שוחח עם ויליאם קַרְטֶר על עבודתו להגדרת סט פקודות אחיד בסדרת המחשבים שנודעה בהמשך בשם IBM System/360.
בשנת 1963 הֶרְבֶּרְט הֶלֶרְמַן, שעבד אז במכון המחקר של IBM, מימש חלק מהסימון של APL על מחשב IBM 1620. המימוש החלקי של הלרמן שימש בקורס תיכוני מיוחד שעסק בחישוב ערכי פונקציות טרנסצנדנטיות באמצעות טורים. התלמידים ניסו את הקוד שלהם במעבדתו של הלרמן. מימוש חלקי זה של הסימון נקרא אז Personalized Array Translator (PAT)[7].
ב־1963, פלקוף, אייברסון, ואדוארד ה' סַאסֶנְגוּת' ג'וניור (כולם עובדי IBM) השתמשו בסימון לתיאור פורמלי של הארכיטקטורה והפונקציונליות של סדרת המחשבים IBM System/360. עבודתם פורסמה כמאמר בכתב העת של IBM, IBM Systems Journal, בשנת 1964. לאחר פרסום המאמר, הצוות החל לעבוד על מימוש מלא של APL על מחשבי IBM[8].
אחרי שלורנס מ' בְּרִיד ופיליפ ס' אַבְּרַמְס מאוניברסיטת סטנפורד הצטרפו לצוות באגף המחקר של IBM, הם המשיכו את עבודתם הקודמת על מימוש חלק מהסימון בעזרת FORTRAN IV על מחשב IBM 7090 שהריץ את מערכת ההפעלה IBSYS. עבודתם הושלמה בסוף 1965 וכונתה IVSYS (קיצור ל־"Iverson System" על שם אייברסון). בסיס המימוש הוסבר בפירוט על ידי אברמס בדו"ח טכני של אוניברסיטת סטנפורד, "An Interpreter for Iverson Notation" ב־1966. ההיבט האקדמי של הפרסום היה תחת פיקוחו של ניקלאוס וירת[9]. כמו עבודתו הקודמת של הלרמן (מערכת ה־PAT), גם מימוש זה לא כלל את מערכת הסימנים של APL, אלא השתמש במילים שמורות מהשפה האנגלית עבור כל הפונקציות והאופרטורים של APL. המערכת הותאמה בהמשך למערכות מרובות משתמשים, וב־1966 הופעלה על מחשבי IBM System/360 Model 50 ונעשה בה שימוש פנימי ב־IBM[10].
חומרה
הפיתוח החשוב ביותר שאיפשר שימוש יעיל ב-APL לפני זמינותם של מסופים מבוססי שק"ק היה פיתוח מכונת הכתיבה החשמלית של IBM (באנגלית: IBM Selectric), שנודעה בשם "כדורית". במכונה זו ניתן היה להחליף את ראש ההדפסה (הכדור, באנגלית: "Typing element" או בשפת סלנג "Typeball") הרגיל, שהכיל את התווים האלפביתיים, בראש אחר שכלל את הסימנים הנחוצים ל־APL. פיתוח זה איפשר שימוש ב-APL עם מסופים כמו IBM 1050 ו־IBM 2741 שהדפיסו את הפלט שלהם על גבי נייר. בנוסף, היה אפשר להניח מדבקות על גבי המקשים הרגילים של המקלדת כדי להציג איזה סימן כל מקש מייצג בראש ההדפסה של APL. באופן זה התאפשרו לראשונה כתיבה והדפסה של קוד APL עם הסימון המתמטי המקורי של אייברסון במקום מילות מפתח מסורבלות המייצגות אותם בשפה האנגלית. פלקוף ואייברסון הגדירו שני ראשי הדפסה עבור APL, 987 ו־988, עוד לפני המימוש של APL כתוכנת מחשב[11].
גם עם השימוש במכונת הכתיבה הכדורית, סימני APL רבים עדיין הודפסו בעזרת שני סימנים קיימים זה על גבי זה. לדוגמה הסימן ⍋ (ששמו grade up) נכתב בעזרת השימוש בסימן דלתא (shift-H) ועל גביו פס אנכי (shift-M). מצב זה היה בלתי נמנע מאחר שמספר הסימנים ב־APL היה גדול בהרבה ממספר התווים שראש ההדפסה היה יכול להכיל (88 תווים), אף שתווים אלפביתיים רגילים הוגבלו לאותיות גדולות בלבד.
זמינות מסחרית
סביבת העבודה הראשונה של APL פותחה על ידי לארי בְּרִיד ב־1966 על מחשב IBM 1050 במעבדות IBM Mohansic Labs ליד המרכז למחקר על שם תומאס װטסון, ביתה של APL, ב־יוֹרְקטַאוֹן הַײטְס, מדינת ניו־יורק[11].
IBM נטלה חלק מרכזי בהשקת APL למטרות מסחריות. APL הושקה לראשונה כמוצר מסחרי בשנת 1967 עבור מחשבי IBM 1130 כ־APL\1130[12][13]. מערכת זו דרשה זיכרון בגודל 8K מילים של 16 סיביות, בנוסף לדיסק קשיח ייעודי בגודל 1 מ"ב.
APL זכתה לפופולריות במחשבים מרכזיים מסוף שנות ה-60 עד תחילת שנות ה-80, בין השאר בגלל התמיכה בריבוי משתמשים על מחשבים עם מפרט טכני צנוע יחסית גם ללא חומרה לניהול זיכרון וירטואלי[14]. שיפורים נוספים לביצועים של APL פותחו בהמשך לחלק ממחשבי IBM System/370 בהם נוספה תמיכה בהרצת APL בקושחה של המעבד, שנקראה APL Assist Microcode. שימוש בתכונה זו איפשר האצת חומרה ל־APL. משתמשי APL החלו לעבור למחשבים אישיים ולנטוש את המחשבים המרכזיים רק כאשר החומרה של מיקרו-מחשבים הגיעה לביצועים מספיקים, באמצע שנות ה־80.
מפרשי ה־APL הראשונים של IBM עבור מחשבי IBM 360 ו־IBM 370 כללו מימוש פנימי של ריבוי משתמשים במקום להישען על שיתוף המשאבים של המערכת. המפרש מרובה המשתמשים הראשון, APL\360, הושק ב־1966 ב־IBM[15][16][17]. המפרש היה יכול להגדיר משתנים חדשים במערכת ההפעלה ולקבל ממנה מידע דרך פונקציות APL מיוחדות שנקראו I-beam[18].
ב־1973 השיקה IBM את APL.SV שהיה המשכו של אותו המוצר (APL\360) אך הפעם היא הציעה משתנים משותפים (באנגלית: "shared variables") לשפה. תכונה חדשה זאת אפשרה תיווך קל יותר בין APL לשאר הרכיבים במערכת ההפעלה כמו מערכת הקבצים או שיתוף מידע בין תהליכים שרצים על מעבדים נפרדים במחשבים מרכזיים[19]. בשנות ה־70, מפרש ה־APL של IBM שהיה מיועד עד אז למחשבים מרכזיים עבר התאמה למחשבים שולחניים מסוג IBM 5100, שכללו מסך שק"ק קטן ומקלדת APL, בזמן שרוב המחשבים האישיים כללו רק שפת BASIC. בשנות ה־80, המפרש VSAPL היה נפוץ בין משתמשי CMS, VSPC, TSO, MUSIC/SP, ו־CICS.
בשנים 1973–1974, פטריק הַאגֶרְטִי ניהל את מימוש מפרש ה־APL של אוניברסיטת מרילנד עבור המחשבים המרכזיים מסדרת UNIVAC 1100/2200 של היצרנית Sperry. באותו הזמן למחשבי Sperry לא היה קיים מימוש APL[20].
Sharp APL הייתה תוכנה של חברת I. P. Sharp Associates, שהתחילה כשירות שצמח מתעשיית שיתוף המשאבים במחשבים מרכזיים בשנות ה־60, ומאוחר יותר הפכה למוצר עצמאי החל משנת 1979. Sharp APL היה מימוש מתקדם יחסית של APL עם הרחבות כגון מערכת קבצים, מערכים מקוננים, ומשתנים משותפים.
גַארְתְ' פוֹסְטֶר מאוניברסיטת סירקיוז יזם מפגשים קבועים עבור קהילת המממשים של APL במרכז הכנסים של סירקיוז, ב־Blue Mountain Lake שבמדינת ניו יורק. מאוחר יותר ארגן יוגִ'ין מַקְדוֹנֶל מפגשים דומים במרכז הכנסים אַסִילוֹמַאר ליד מונטריי, וב-Pajaro Dunes שליד ווטסונוויל בקליפורניה. קבוצת המשתמשים SIGAPL (ראשי תיבות: "Special Interest Group on Array Programming Languages") של ACM ממשיכה לתמוך בקהילת APL[21].
מתחילת שנות ה־80 קבוצת הפיתוח של APL ב-IBM תחת הנהגתו של ג'ים בראון פיתחה גרסה חדשה של APL שהחידוש המרכזי בה היה קינון מערכים, כלומר תיאור מערכים המכילים מערכים אחרים בתוכם, ומספר חידושים נלווים של השפה כדי לשלב בה את המערכים המקוננים. קנת' אייברסון, שכבר לא היה בשליטה על הפיתוח של APL, עזב את IBM והצטרף ל־I. P. Sharp Associates (IPSA), שם תרם רבות לפיתוחה של Sharp APL לפי השקפתו וחזונו[28][29][30]. APL2 עדיין זמינה עבור מחשבים מרכזיים, והושקה לראשונה עבור מערכות CMS ו־TSO בשנת 1984[31].
כשיצרניות אחרות התחילו לפתח מפרשי APL עבור חומרה חדשה, במיוחד עבור מיקרו־מחשבים מבוססי יוניקס, APL2 הייתה לרוב הבחירה הסטנדרטית. אפילו כיום, מפתחי APL מצהירים על תאימות עם APL2 בשיווק המוצרים שלהם[32][33]. IBM ציטטה את השימוש בה עבור פתרון בעיות, עיצוב מערכות, פיתוח אבות טיפוס, חישובים הנדסיים ומדעיים, מערכות מומחות[34], לימוד מתמטיקה ונושאים אחרים, הדמיה, וגישה למסדי נתונים[35]. מהדורת ה־Workstation של APL2 עבור המערכות Windows, OS/2, AIX, Linux, ו־Solaris הושקה רק בשנות ה־90.[דרוש מקור]
בשנת 2021 מכרה IBM את APL2 לחברת Log-On Software, אשר מפתחת ומוכרת אותה בשם Log-On APL2[36].
מערכת התווים הייחודית והלא מוכרת של APL הייתה עבורה מקור לביקורת ושבח כאחד. התופעה שמתכנתים שלומדים ומסתגלים אליה הופכים לחסידים נלהבים שלה יכולה לרמוז שאכן קיים משקל מהותי לסימון המתמטי המקורי של אייברסון וזהו חלק בלתי נפרד מהשפה. בשנות ה־60 וה־70 מעט מסופים יכלו להציג את הסימנים של APL. הפופולריים ביניהם ניצלו את התמיכה של מכונת הכתיבה IBM Selectric בעזרת החלפת ראש ההדפסה. המסוף הראשון שידע להציג את כל התווים של APL היה מסוף החד־שורה TI Model 745 של Texas Instruments שהושק ב־1977[38].
עם הופעת הצגים הגרפיים, המדפסות, וקידוד ה־Unicode, בעיית התווים של APL כמעט נעלמה. עם זאת, כתיבת APL עדיין דורשת עורכי טקסט שתומכים בשיטת קלט ייחודית לה, מיפוי מקלדות, לעיתים שימוש במקלדת וירטואלית[39][40], או הדבקת תווים מודפסים על גבי המקלדת, פתרונות מתסכלים עבור מתכנתים עם רקע משפות תכנות אחרות[41][42][43]. אצל מתחילים שאין להם רקע קודם בתכנות, מחקר שנוסה על תלמידי תיכון הראה שכתיבת תווי APL לא הפריעה לתלמידים לתכנת באופן ניכר[44].
טענה לטובת השימוש ב־APL היא שהכתיבה בה דורשת פחות הקלדה, ושמתכנתים משננים את מפת התווים שלה עם הזמן. כמו כן, מקלדות ייעודיות ל־APL מיוצרות כיום ונמצאות בשימוש, גופנים ייעודיים ל־APL זמינים להורדה עבור מערכות הפעלה כמו חלונות ולינוקס[39].
עיצוב
בניגוד לשאר השפות המובנות, קוד טיפוסי של APL בדרך כלל בנוי כשירשור של אופרטורים[45], פונקציותמונאדיות ודיאדיות (המונחים של APL עבור פעולות אונאריות ובינאריות) על/בין מערכים[46]. ל־APL קיימים פרימיטיבים (המונח של APL לפונקציות ופעולות המובנות בשפה) רבים המתוארים על ידי סימן בודד או הרכבה של מספר סימנים[47]. לכל הפרימיטיבים ב־APL יש קדימות שווה, והם אסוציאטיביים עם קדימות לימין. כתוצאה מכך, הבנת הקוד ב־APL נוחה יותר בקריאה מימין לשמאל.
מימושים מוקדמים של APL (בסביבות שנות ה־70) לא כללו בקרת זרימה, כגון do, while או מבני קוד מהצורה if-then-else. APL עודדה הפעלת פונקציות על פני מערכים שלמים, דבר שפטר את המתכנת מהצורך לכתוב קוד מובנה עם בקרת זרימה מפורשת. לדוגמה הפונקציה iota (בסימונו של אייברסון: ι) יכלה להחליף איטרציה של לולאת for: ιN כאשר N הוא סקלר חיובי ושלם תחזיר מערך חד־ממדי מהצורה . מימושי APL חדשים יותר כוללים בקרת זרימה ומבני קוד מקיפים המאפשרים הפרדה ברורה בין בקרת הזרימה של התהליכים למבני הנתונים[48].
סביבת התכנות של APL נקראת workspace (עברית: סביבת עבודה). בסביבת עבודה משתמש יכול להגדיר משתנים עבור נתונים ושגרות עבור תהליכים ב־APL. המשתמש יכול לבצע פעולות על המשתנים תוך שימוש במפרש כמו בשפת תסריט[49]. בדוגמאות למטה, המפרש מזין 6 רווחים בתחילת השורה לפני קבלת הקלט מהמשתמש, ומדפיס פלט בהתאם.
n←4567
המשתמש יוצר מערך חדש מהצורה ומייחס אותו למשתנה n בסביבת העבודה. הדרך התמציתית והמקובלת יותר לעשות את זה ב־APL תהיה להשתמש בפ' ⍳ כך: n ← 3 + ⍳4, מבלי להיעזר בלולאות, הכנסת נתונים ידנית או בקרת זרימה.
n4567
המשתמש מבקש להדפיס את תוכן המשתנה n, שכרגע מייצג את המערך שהגדיר בשלב הקודם.
n+4891011
המשתמש מעתיק את המערך הישן לתוך מערך חדש בזיכרון, ומוסיף 4 על כל ערך. המפרש מדפיס מיד את המערך החדש שנוצר בתור פלט מאחר שלא נעשה שימוש בפעולת ההשמה← למשתנה חדש.
+/n22
המשתמש מסכם את כל ערכי המערך n בעזרת סימון תמציתי זה המכונה "plus, over...".
m←+/(3+⍳4)m22
כל הצעדים שנעשו עד כה יכולים להכתב בהצהרה אחת. מאחר ש־APL מפענחת את הביטויים עם קדימות מימין לשמאל, ⍳4קודם תיצור מערך חדש מהצורה ואז +3 תוסיף 3 על כל אחד מהערכים בתוך המערך. לאחר מכן כל הביטוי שנוצר (המוקף בסוגריים) יעבור סיכום בעזרת /+. המשתמש יבקש להציג את הפלט בקריאה למשתנה m בשורה השנייה.
בסימון מתמטי רגיל, הביטוי שקול ל־.
המשתמש יכול לשמור את סביבת העבודה יחד עם כל המשתנים והשגרות שהגדיר בה, ולהקפיא את מצב הריצה הנוכחי שלה.
APL משתמשת בסימנים שאינם כלולים ב־ASCII. הסימנים גם מרחיבים את הסימון המקובל באלגברה ובפעולות חשבון בסיסיות. היכולת לבטא פעולות המטפלות בריבוי נתונים (SIMD) על גבי מערכים בעזרת תו ייחודי בודד מאפשרת לנסח אלגוריתמים כמו משחק החיים בשורה אחת בלבד[50]. תאורטית, ברוב הגרסאות של APL, ניתן לבטא כל פונקציה בעזרת ביטוי בודד, כלומר בשורה אחת.
כדי לכתוב את הסימנים המיוחדים של APL, מתכנתים נוהגים להשתמש במקלדות ייעודיות עם מקשים שעליהם מוצגים הסימנים[51]. אף על פי שיש מספר דרכים לכתוב קוד ב־APL בעזרת תווי ASCII[52], אין זה מקובל בפועל (עובדה זו יכולה לתמוך בתזה של אייברסון - "סימון ככלי חשיבה"[53]). רוב המימושים המודרניים משתמשים בפריסה הסטנדרטית של המקלדות, עם שיטת קלט הממפה את המקשים לתווים הייחודיים של APL. היסטורית, הגופן של APL התאפיין באותיות אלפביתיות גדולות בכתב נטוי, וכתב ישר עבור המספרים והסימנים. רוב המימושים עדיין מספקים גופנים ייעודיים כדי להציג קוד APL.
חסידי השפה מתמודדים עם הטענה שהסימון של APL הפך אותה לשפת כתיבה בלבד (באנגלית: write-only language, ביטוי לעגני לשפת תכנות לא מובנת, שקשה לקרוא ולהבין קוד מקור שנכתב בהן. הביטוי נגזר מניגוד של המונח קבצים לקריאה בלבד המוגנים מכתיבה במערכת), בכך שקוד בלתי קריא הוא ברוב המקרים תוצאה של חוסר מיומנות של המתכנת, או טעויות של מתכנתים מתחילים שאינם בקיאים באופן הכתיבה המקובל והאופייני לשפה, דבר שיכול לקרות בכל שפה. יתר על כך, נטען כי APL מאפשרת לכתוב קוד הרבה יותר מתומצת שדורש פחות זמן גם בכתיבה וגם בעיון, ובסופו של דבר חוסך בזמן ובמתכנתים[דרוש מקור].
טיעון נוסף הוא כי מאחר שהשפה היא מאוד תמציתית, היא מתאימה יותר לפיתוח תוכנות בקנה מידה גדול, כיוון שהיא מאפשרת הקטנה ניכרת של מספר שורות הקוד. מתכנתי APL רואים שפות אחרות כגון Java ו־COBOL כמסורבלות וטרחניות. APL אכן נפוצה במקומות שבהם לזמן הפיתוח יש חשיבות קריטית מהיבט עסקי, כמו במערכות מסחר אלגוריתמיות ואוטומטיות[54][55][56][57].
מינוח
APL עושה הבדלה ברורה בין פונקציות (שגרות) ואופרטורים (פעולות)[45][58]. פונקציות מקבלות מערכים (מתוך משתנים, קבועים, או ביטויים) כפרמטרים, בזמן שאופרטורים (בדומה לשפות פונקציונליות) יכולים לקבל כפרמטרים גם פונקציות וגם מערכים ולהחזיר פונקציה חדשה משילוב של פונקציות ופעולות קיימות. לדוגמה פונקציית סיכום מערכים ב־APL נוצרת מהחלת פונקציית החיבור (+) בעזרת אופרטור הצמצום (ב־APL מילולית: reduction או בסימון המתמטי של אייברסון /)[59] על מערך. אופרטור הצמצום מפעיל את הגורם משמאל, במקרה זה: פונקציית החיבור, בין כל שני פריטים בתוך המערך שנמצא מימין, ובכך מביא לחיבור של כל הפריטים בתוכו ומחזיר את סכומם. כדוגמה נוספת, הפעלת פונקציית המקסימום (⌈, המחזירה את הערך הגדול מהשניים) בעזרת פעולת הצמצום (/) על גבי מערך תפעיל את הפונקציה בין כל שני פריטים בתוכו ובכך תחזיר את הערך הגדול מכל הפריטים בו. מאוחר יותר בשפת J, אייברסון שינה את המינוח ל־פוֹעַל (באנגלית: verb) עבור פונקציות; ול־תואר פועל או ל־מילת חיבור (באנגלית: adverb או conjunction) עבור אופרטורים.
חלוקה זאת היא חלק בלתי נפרד מהשפה עצמה, ורוב הפרימיטיבים שלה גם מתחלקים לשתי הקטגוריות האלה, למעט מספר מועט של חריגים שאינם פונקציות ואינם אופרטורים, כגון פעולת ההשמה (←). כתיבת קוד חדש ב־APL היא לרוב פיתוח פונקציות חדשות, ורק לעיתים רחוקות אופרטורים חדשים.
מונחים מסוימים ב־APL לעיתים אינם תואמים את השימוש הנהוג בהם בספרות הקשורה למתמטיקה ובכלל במדעי המחשב.
מונח
תיאור
function
(פונקציה)
פעולה או מיפוי, אשר מקבלת פרמטר אחד (מימין), או שני פרמטרים (מימין ומשמאל), או שאניה מקבלת אף פרמטר. הפרמטרים יכולים סקלרים, מערכים או מבנים מורכבים יותר.
פרימיטיב (באנגלית: primitive) - מובנית בשפה ומיוצגת בעזרת סימן בתו בודד.
מוגדרת (באנגלית: defined) - הוגדרה על ידי המשתמש עם שם חדש בסביבת העבודה[60].
נגזרת (באנגלית: derived) - נוצרה כתוצאה משילוב של אופרטור ופונקציה.
פעולה שלוקחת פרמטר אחד (משמאל) או שניים (מימין ומשמאל) שהם פונקציה או מערך, ומחזירה פונקציה חדשה. בניגוד לפונקציות, קיימים רק אופרטורים פרימיטיביים ומוגדרים, אך לא נגזרים.
ב־APL מקובל להגדיר פעולות ברירת מחדל במקרים שבהם לא מצוינת אף פעולה או פונקציה אחרת. המחרוזת'Hello, world!' מודפסת כפלט מכיוון שפעולת ברירת המחדל ב־APL היא הדפסת פלט.
העלאה בחזקה
העלאה בחזקה ב־APL נעשית בעזרת הפונקציה ⋆ כך: 2⋆3, כלומר 2 בחזקת 3 (זה יכתב כ־2^3 במספר שפות אחרות, וכ־2**3 בשפות כמו פייתון ו־Fortran). עם זאת, במקרה שלא צוין בסיס (כגון ⋆3), APL תניח שהבסיס הוא הקבוע e (...2.71828), ולכן ⋆3 יהיה שקול ל־2.71828⋆3.
סטטיסטיקה פשוטה
נניח ש־X הוא מערך מספרים, אז הביטוי (+/X)÷⍴X מחזיר את הממוצע החשבוני שלהם. בקריאה מימין לשמאל (כפי שהקדימות ב־APL עובדת), ⍴X נותן את מספר הפריטים במערך X, ומאחר ש־÷ היא פעולה דיאדית (בינארית), הערכה מלאה של הביטוי משמאל דרושה לפני הפעלתה. הביטוי משמאל מוקף בסוגריים כי אחרת X לבדו יילקח כפרמטר לפני פעולת הסיכום +/X המחברת כל הפריטים בתוך X. בהתבסס על זה, הביטוי ((+/((X - (+/X)÷⍴X)*2))÷⍴X)*0.5 מחשב את סטיית התקן. יתר על כן, מאחר שהשמה למשתנה (←) נחשבת לפעולה, ניתן להשתמש בה בתוך הקוד גם כן ולקבל:
SD←((+/((X-AV←(T←+/X)÷⍴X)*2))÷⍴X)*0.5
דבר שיאפשר שימוש חוזר במשתנים SD, AV, ו־T. באופן שגרתי, מתכנת APL יגדיר את הביטוי כפונקציה במקום לכתוב אותו כל פעם מחדש.
בחירת 6 מספרים להגרלה
הביטוי הבא מציג דוגמה לבחירת 6 מספרים שלמים פסודו־אקראיים להגרלה הנעים בין 1 ל־40, שאינם חוזרים על עצמם, ומדפיס אותם בסדר עולה.
x[⍋x←6?40]
הקוד התמציתי לעיל משלב את הפונקציות הבאות:
הראשונה שתעבור הערכה (מאחר ש־APL מעריכה ביטויים בקדימות מימין לשמאל) תהיה הפונקציה הדיאדית ? (מכונה באנגלית deal כשנעשה בה שימוש דיאדי), שתחזיר מערך שגודלו לפי הפרמטר משמאל (במקרה זה: 6) ובו מספר/ים בטווח לפי הפרמטר מימין מימין (במקרה זה: 40), כלומר היא תחזיר מערך בגודל 6 פריטים שערכם מוגרל בין 1 ל-40 באופן אקראי[62].
פעולת ההשמה ← תקלוט את המערך שהחזירה ? לתוך המשתנה x.
המערך יעבור מיון מחדש בסדר עולה על ידי הפונקציה המונאדית ⍋ שתיקח את כל מה שתחום בסוגריים המרובעים (המתייחסים בפועל לאינדקס המערך x) כפרמטר לימינה.
הסוגריים המרובעים יקלטו את הסידור החדש מ־⍋ עבור המערך x.
מאחר שלא צוינה אף פונקציה משמאל ל־x שתנחה מה לעשות עם הפלט, המפרש פשוט ידפיס אותו בשורה אחת כשכל פריט במערך מופרד ברווח בלי הנחיה נוספת.
הפונקציה ? יכולה גם להיות מונאדית (כלומר אונארית, במקרה זה היא מכונה "roll" באנגלית), ואז היא תחזיר מספר אקראי בודד לפי טווח הפרמטר שמשמאל. לדוגמה ?20 תחזיר מספר אקראי בין 1 ל־20.
הפונקציה ι (יוטא) יוצרת מערך חדש של מספרים שלמים מ־1 עד R בסדר עולה. (כך שאם R=6 בתחילת הריצה אז ιR יחזיר את המערך .
השמט את הפריט הראשון מהמערך שנוצר (כלומר את 1) בעזרת הפונקציה ↓, כך שבהמשך הדוגמה לעיל 1↓ιR יחזיר את המערך .
הגדר את המשתנה R להיות המערך החדש שהתקבל מ־↓ בעזרת פעולה הייחוס ←.
פעולת הצמצום / תכריח את אגף שמאל (המוקף בסוגריים) לעבור הערכה מלאה קודם כל לפני החלתו בין כל שני פריטים במערך שהתקבל עד כה באגף ימין.
צור מטריצה דו־ממדית המתארת את תוצאות מכפלת כל הפריטים במערך R אופקית ואנכית על ידי הפעולה °.× (הנמצאת בין R ו־R). התוצאה שתתקבל תהיה:
בעזרת פעולת ∈ (מכונה פעולת אפסילון או בדיקת שייכות), בנה מערך חדש באותו האורך של R, כשכל פריט במערך יהיה 1 אם הפריט באותו מיקום במערך R המקורי נמצא בתוך הטבלה שהתקבלה לעיל, אחרת הפריט יהיה 0. למעשה הפעולה ∈ מחזירה משוב על איזה פריטים במערך משמאל כלולים במבנה מימין. התוצאה תהיה כי רק 4 ו־6 הופיעו בטבלה.
שלוללוגית את כל הערכים במערך שהתקבל מ־∈ בעזרת הפעולה ∼ המייצגת שלילה לוגית ב־APL. התוצאה עד כה תהיה .
חזור והשלם את פעולת הצמצום / אחרי ששני האגפים עברו הערכה מלאה. במקרה זה, כשיש מערך בוליאני מימין ומערך כלשהו משמאל, פעולת הצמצום תחזיר מערך חדש ובו מסוננים רק הפריטים מהמערך מימין (R) עבורם הופיע ערך חיובי (1) במערך משמאל (התוצאה של ∼). התוצאה הסופית תהיה , שלושת המספרים הראשוניים בטווח כש־R=6.
מיון
הדוגמה הבאה תמיין מערך מחרוזות בסדר עולה לפי מספר התווים בכל מחרוזת.
X[⍋X+.≠' ';]
משחק החיים
הפונקציה הבאה (life), כתובה ב־Dyalog APL, לוקחת מטריצה בוליאנית ומחשבת את הצעד הבא לפי האלגוריתם של משחק החיים. הדוגמה הזאת מפגינה את היכולת של APL לבטא תהליכים מורכבים במעט קוד. עם זאת היא קשה להבנה ללא ידע מתקדם ב־APL.
life←{↑1⍵∨.∧34=+/,¯101∘.⊖¯101∘.⌽⊂⍵}
הסרת תגיות HTML
הדוגמה הבאה, גם כתובה ב־Dyalog APL, מראה קליטת טקסט HTML אקראי לתוך המשתנה txt ואז משתמשת בביטוי הכתוב ב־APL על מנת להפשיט את הקלט מכל תגיות ה־HTML שמעורבים בו ואז מדפיסה פלט ללא התגיות.
txt←'<html><body><p>This is <em>emphasized</em> text.</p></body></html>'{⍵/⍨~{⍵∨≠\⍵}⍵∊'<>'}txtThisisemphasizedtext.
המימוש הראשון של APL שהתאפיין במערכת הסימנים של אייברסון היה APL\360 שרץ על מחשבי IBM System/360, והושלם בנובמבר 1966[76] אף על פי שבאותו הזמן השימוש בו היה פנימי בלבד בתוך IBM[31]. בשנת 1973 היוצרים שלו, לַארי בְּרִיד, דִיק לַאתְ'װֶל, ורוֹגֶ'ר מוּר זכו בפרס גרייס מאריי הופר של ה-ACM על "עבודתם בתכנון ומימוש APL\360, קביעת סטנדרטים חדשים בפשטות, יעילות, אמינות, וזמן תגובה למערכות אינטראקטיביות."[77][78][79].
ב־1975, מיקרו־מחשבים מסוג IBM 5100 הציעו את APL\360 כאחת משתי השפות המובנות בזיכרון ה־ROM שלהם, יחד עם מקלדת וצג שתמכו בכל סימני APL[80][81].
פיתוחים משמעותיים ב־APL\360 היו CMS/APL, שהשתמשה בזיכרון הווירטואלי של מערכת ה־CMS; ו־APL.SV אשר הציגה לראשונה את המשתנים המשותפים, משתנים ופונקציות לתיווך בין APL ומערכת ההפעלה. מאוחר יותר APL\360 עברה התאמה עבור מחשבי ה־IBM System/370 ו־VSPC. פיתוחה המשיך עד גרסתה האחרונה שהושקה ב־1983, ולאחר מכן היא הוחלפה ב־APL2[31].
APL\1130
בשנת 1968 הושק APL\1130, מימוש ה־APL הראשון שהיה זמין לציבור הרחב מחוץ למעבדות של IBM[82]. המימוש פותח על ידי IBM עבור מחשבי ה־IBM 1130. היא הפכה לתוכנת ה־IBM Type-III Library הפופולרית ביותר ש־IBM השיקה אי פעם[83].
APL*Plus ו־Sharp APL
APL*Plus ו־Sharp APL הן גרסאות של APL\360 עם הרחבות שהיו חיוניות עבור חברות מסחריות באותו הזמן. ההרחבות כללו עיצוב תבניות עבור נתונים, ואמצעים לשמירת מערכי APL בקבצים חיצוניים. שני המימושים פותחו בשתי חברות נפרדות שהעסיקו עובדים מהצוות המקורי ב־IBM שפיתח את APL\360[84].
שתי החברות היו I. P. Sharp Associates (IPSA), חברת שירותי APL\360 שנוסדה ב־1964 על ידי אִיאַן שַארְפּ, רוֹגֶ'ר מוּר ואחרים, והשנייה הייתה Scientific Time Sharing Corporation (STSC) חברה לשירותי שיתוף משאבים ושירותי ייעוץ שנוסדה ב־1969 על ידי לורנס בְּרִיד ואחרים. שתי החברות פיתחו יחד את APL*Plus, הן המשיכו לעבוד יחד אף על פי שבהמשך הזמן הפיתוח שלהן התפצל לשני מימושים נפרדים: Sharp APL ו־APL*Plus.
STSC ייצאה את APL*Plus להרבה פלטפורמות, ביניהן VAX 11[85], מחשבים אישיים, ו־Unix, ואילו IPSA בחרה להפוך את המימוש שלה (Sharp APL) זמין למחשבים אישיים בעזרת PC-XT/360, רכיב חומרה שסיפק שכבת תאימות למחשבים אישיים עבור תוכנות שפותחו במקור למחשבים מרכזיים של IBM.
ב־1993, נוסדה החברה הקנדיתSoliton Incorporated כדי לתמוך ב־Sharp APL והמשך פיתוחה. היא פיתחה את SAX (ראשי תיבות Sharp APL ל־Unix). נכון ל־2018, APL+Win הוא המימוש ההמשכי ל־APL*Plus.
APL2 היה מימוש מחודש של APL\360 מאת IBM שהפיתוח שלו החל ב־1971 והושק לראשונה ב־1984. APL2 הציגה שיפורים חשובים לשפה והבולט בהם היה קינון מערכים (הכלת מערכים בתוך מערכים)[31]. נכון ל־2018, APL2 זמינה עבור מחשבים מרכזיים שרצים על z/OS או z/VM, או תחנות עבודה שרצות על AIX, Linux, Solaris וחלונות[87].
כל הצוות שהיה אחראי על הפיתוח והתחזוקה של APL2 זכה בפרס אייברסון משותף בשנת 2007[86].
ב־1995, שניים מחברי צוות הפיתוח של Dyalog APL - ג'ון סקוֹלְס ו־פיטר דוֹנֶלי - זכו בפרס אייברסון עבור עבודתם על המפרש[93].
NARS2000
NARS2000 (ראשי תיבות "Nested Arrays Research System") הוא מפרש APL חופשי וקוד פתוח מאת בּוֹבּ סְמִית', מפתח וותיק מהצוות של STSC שעבדו על המימוש של APL*Plus בשנות ה־70 וה־80. NARS2000 כולל טיפוסי נתונים חדשים עבור השפה וחידושים אחרים[94].
APLX
APLX הוא ניב חוצה-פלטפורמות של APL, מבוסס על APL2 עם מספר הרחבות כמו תכנות מונחה עצמים ותמיכה ב־NET Framework.. הוא הושק לראשונה על ידי MicroAPL הבריטית ב־2002. APLX אינו נמצא יותר בשימוש מסחרי והפיתוח שלו הפסיק. ניתן להשיג אותו בחינם מהאתר של Dyalog[95].
GNU APL
GNU APL הוא מימוש חופשי מטעם המיזם של GNU עבור APL המורחבת כפי שאופיינה ב־ISO/IEC 13751:2001, ולכן הוא דומה ל־APL2. המימוש רץ על GNU\Linux ועל חלונות בעזרת Cygwin ומשתמש ב־Unicode. הוא פותח על ידי יורגן זאוארמן[96].
ריצ'רד סטולמן, מייסד מיזם GNU, היה מהראשונים שאימצו את APL. סטולמן נעזר ב־APL כדי לכתוב עורך טקסט כשהיה בתיכון בקיץ 1969[97].
עם זאת, APL אינה שפה מפורשת גרידא, וקטעים מהקוד עוברים תהליך הידור חלקי בשיטות ורמות שונות. דוגמאות להידור ב־APL כוללות:
זיהוי צרופים
רוב מפרשי APL תומכים בזיהוי צרופים (באנגלית: idioms) הטיפוסיים לשפה[109]ומעריכים צרופים כאלה כפעולה אחת וחוסכים את צעדי הביניים[110][111].לדוגמה, כשהמפרש מזהה צרוף מהצורה BV/⍳⍴A (היכן ש־BV הוא ערך בוליאני ו־A הוא מערך), הוא מיד מעריך את כל הביטוי כפעולה אחת במקום לפרש את הביטוי צעד אחר צעד, ובכך הוא בעצם חוסך את יצירתם של שני מערכים נוספים בפעולות הביניים על מנת להשלים את הביטוי[112].
בייטקוד ממוטב
הטיפוסיות הדינמית של APL מאפשרת למשתנים להצביע על מערכים (מכל טיפוס), פונקציות, או פעולות (אופרטורים). באופן הכללי המפרש לא יכול לדעת באיזה טיפוס מדובר בלי לבצע ניתוח תחבירי ובדיקת טיפוסיות בזמן ריצה[113].עם זאת, במקרים מסוימים ניתן להסיק באיזה טיפוסיות (יהיה) מדובר עוד לפני הריצה ולהכין בייטקודממוטב מראש שייעל את הביצועים. את הבייטקוד ניתן למטב בעזרת שיטות מיטוב ידועות כגון זיהוי והידור מראש של ביטויים קבועים שאינם משנים את ערכם לאורך כל זמן הריצה (באנגלית: Constant folding), והחלפת והשמטת ביטויים השקולים זה לה במשתנה המצביע לביטוי המשותף לכל המקרים (באנגלית: Common subexpression elimination).בזמן הריצה המפרש יריץ את מקטע הבייטקוד שהוכן מראש אך ורק אם ההנחות בנוגע לטיפוסיות היו אכן נכונות. Dyalog APL נותנת תמיכה מלאה למיטובי בייטקוד עבור השפה[114].
הידור
הידור APL היה נושא למחקר וניסויים משחר הופעת השפה. המהדר הראשון עבור APL היה ה־APL-700 מאת Burroughs[115] שהושק בסביבות 1971[116]. כדי לאפשר הידור של APL נדרשות מגבלות מסוימות[115][117].
STSC APL Compiler (מהדר ל־APL מאת STSC, המפתחת של APL*Plus) מבצע שילוב של מיטוב בייטקוד והידור, אך לא הידור מלא. הוא מאפשר הידור לשפת מכונה רק עבור פונקציות שכל שאר הפונקציות והמשתנים שהן תלויות בהם כבר הוכרזו וידועים מראש. אך המפרש עדיין מספק את כל הפונקציות והפעולות עבור ספריית הליבה של השפה, ומשמש כנסיגה עבור פונקציות שאינן עומדות בתנאים הנחוצים להידור.
^Rodriguez, P.; Rojas, J.; Alfonseca, M.; Burgos, J. I., n Expert System in Chemical Synthesis written in APL2/PC, ACM SIGAPL APL Quote Quad, 1989, עמ' 299-303 doi: https://doi.org/10.1145%2F75144.75185