מודולה

מוֹדוּלה (באנגלית: Modula) היא שפת תכנות מערכות מובנת ופרוצדורלית עם טיפוסיות חזקה וסטטית שפותחה על ידי ניקלאוס וירת בין השנים 1973–1976 במכון הטכנולוגי של ציריך. מודולה הורחבה במקור מפסקל, וממנה נולד הפיתוח של מודולה־2. מודולה היא שפת תכנות ניסיונית והפיתוח שלה הופסק לטובת הפיתוח של מודולה־2.

 היסטוריה 
בשנת 1973 וירת התחיל את הפיתוח של מודולה. המימוש הראשון שלה הושלם על מחשב PDP-11.Modula, Introduction, pp. 3–5Modula, PDP-11 Specific Facilities, pp. 29–32

בשנת 1976 וירת פרסם את האפיון של השפה במכון הטכנולוגי של ציריך.

בשנת 1977 וירת התחיל את הפיתוח של מודולה־2 כהמשך לפיתוח של מודולה, וכתחליף לפסקל.

 דוגמאות 
 מחלק מרבי משותף 
PROCEDURE GCD(n, m: INTEGER): INTEGER;
    VAR a, b: INTEGER;
BEGIN
    WHILE a <> b DO
        IF a < b THEN
            b := b - a
        ELSE
            a := a - b
        END
    END;
    GCD := a
END GCD

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

 מודול כיחידת קוד מקור שעוברת הידור נפרד משאר הקוד.Modula, Overview, pp. 5–9
 ריבוי וניהול תהליכים  על ידי  בתוך הקוד.Modula, Facilities for Multiprogramming, pp. 25–29

 טיפוסי נתונים 
מודולה הכירה רק בארבע טיפוסי נתונים בסיסיים: מספר שלם, ערך בוליאני (אמת או שקר), תו, ומערך סיביות.Modula, Basic Types, p. 13Modula, Type Declarations, pp. 12–14 לא אופיין מספר ממשי ולא אופיין טיפוס נפרד למחרוזות בשפה, אך היה ניתן ליצור מחרוזת באמצעות מערך תווים.Modula, Constant Declarations, p. 12 אין גישה למצביעים בשפה.

 ריבוי תהליכים 
כשפת תכנות מערכות, מודולה הציעה דרך ליישם  בצורה נוחה. להכרזת תהליכים בשפה היה תחביר דומה לתחביר של שגרות, אם כי היה ניתן להגדיר תהליכים אך ורק ברמת הקובץ ולא באופן מקונן בתוך רכיבים אחרים.Modula, Processes, pp. 25–26 בשונה משגרות, תהליכים לא היו עוצרים את שאר התוכנה בזמן ריצה, אלא רצים באופן מקביל. היה ניתן להריץ תהליכים אך ורק מגוף , ולא בשום מקום אחר בקוד.Modula, Process Control Statement, p. 26 בנוסף, מודולים ששיתפו נתונים בין התהליכים הוגדרו בעזרת המילה INTERFACE.Modula, Interface Modules, pp. 25–26 מודולים מסוג זה יצרו תור לכל משתנה בתוכם כדי למנוע מצב שבו שני תהליכים או יותר היו ניגשים לקרוא או לכתוב באותו משתנה באותו הזמן. וירת המליץ נגד השימוש במשתנים כדי לסנכרן בין תהליכים, במקום זאת הוא עיצב בשפה אותות מיוחדים לניהול תהליכים מכל מקום בקוד.Modula, Signals, pp. 26–28 לאותות היה תחביר דומה לזה של קריאת שגרה. היו שני סוגי אותות: לעצירת תהליכים, ולהמשך תהליכים.

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

 אסימוני השפה 
+אסימונים במודולהModula, Vocabulary and Representation, pp. 10–12סיווגהגדרהדוגמהמזההשם משתנהרצף של תווי אותיות אלף־בת לטיניות וסיפרות עשרוניות, כשהתו הראשון מוכרח להיות אות.i8MyPiערךמספר שלםעשרונירצף סיפרות עשרוניות.2016אוקטלירצף סיפרות עשרוניות בטווח 0–7 ותו B עוקב.7Bתותו בודד בין זוג תווי '.'C'תחבירפעולהכל הופעה של תו המייצג פעולה (ראה פעולות).+מילה שמורהכל רצף תווים שיוצר מילה מרשימת המילים השמורות.IFהערהכל רצף שנפתח ב־ ונסגר ב־.(* Comment *)

 מילים שמורות 
למודולה היו 35 מילים שמורות.AND				DIV				INTERFACE		PROCEDURE		USE				
ARRAY			DO				LOOP			PROCESS			VALUE			
BEGIN			ELSE			MOD				RECORD			VAR				
CASE			ELSIF			MODULE			REPEAT			WHEN			
CONST			END				NOT				THEN			WHILE			
DEFINE			EXIT			OF				TYPE			WITH			
DEVICE			IF				OR				UNTIL			XOR				

 פעולות 
+סימני פעולות במודולהModula, Expressions, pp. 15–16סיווגאופרנדיםפעולהסימןבינאריהקצאה (קלט)קליטת ערך למשתנה:=יוחסהמספריםשווה ל־=לא שווה ל־<>גדול מ־>קטן מ־<גדול או שווה ל־>=קטן או שווה ל־<=לוגיקהאמת או שקרוגםANDאוORחשבוןמספריםחיבור+חיסור-כפל*חילוק שלמים ללא שארית/אונארילוגיקהאמת או שקרלאNOTחשבוןמספרסימן שלילי-

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

  (קליטת ערך למשתנה) :=Modula, Assignments, p. 16
 קריאת שגרה
 כניסה לתוך תחום ההכרזה של השדות ברשומה באמצעות הפקודה WITHModula, With Statements, p. 19
 שש פקודות לבקרת זרימה:
 תנאי IF
 ניתוב מקרים CASE
 יציאה ידנית מלולאת LOOP באמצעות הפקודה EXITModula, Loop Statements, pp. 18–19
 שלושה סוגי לולאות:
 לולאה אין סופית LOOP
 לולאת WHILEModula, While Statements, p. 18
 לולאת REPEATModula, Repeat Statements, p. 18

 קבועים 
מודולה אפשרה למתכנת להכריז ערכים קבועים. ערכים אלה אינם משתנים במהלך התוכנית. קבועים הוגדרו בשפה באמצעות מזהה והסימן = ולאחריו הערך (הערך יכול להיות גם מבנה נתונים ולא רק ערך בסיסי).ON = 1
OFF = 0

 משתנים 
הכרזה של משתנה נעשתה בעזרת הסימן : כשמשמאל שם המשתנה, ומימין טיפוס המשתנה.i, j, k: INTEGER
p, q: BOOLEAN

 בקרת זרימה 
מהיותה שפת תכנות מבנית, חלק מסוגי הפקודות היו יכולות להכיל בתוכן תת-פקודות. לדוגמה, תנאי IF היה יכול להיות מוכל בתוך תנאי IF אחר, שגם הוא היה יכול להיות מוכל בתוך לולאת WHILE, וכך בעצם הייתה נוצרת בקרת זרימה. במודולה, הסימן נקודה ופסיק ; הפריד בין פקודות והגדיר את סדר הביצוע בתוכנית.Modula, Statement Sequence, p. 17

 לולאות 
מודולה הציעה שלושה סוגי לולאות: WHILE, REPEAT, ו־LOOP. כמו בשפות אחרות, הלולאות WHILE ו־REPEAT היו תלויות בתנאי כלשהו. לעומת זאת, בלולאת LOOP נדרשה יציאה ידנית באמצעות הפקודה EXIT בתוכה.LOOP
    i := i + 1 WHEN i = n DO EXIT
ENDבלולאת WHILE, כל עוד התנאי מתקיים, הלולאה תמשיך לחזור על עצמה. דוגמה ללולאת WHILE:WHILE i < n DO
    i := i + 1
ENDבלולאת REPEAT, הבדיקה נעשית בסוף המחזור, והמחזור הראשון מתקיים ללא תנאי. התנאי לעצירה צריך להתקיים על מנת שהלולאה תיעצר. דוגמה ללולאת REPEAT:REPEAT
    i := i + 1
UNTIL i = n

 תנאים 
הפקודה IF אפשרה בקרת זרימה לפי תנאים. אם התנאי הראשון נכשל, ניתן לשרשר מספר תנאים נוספים אחריו בעזרת ELSIF, ומצב ברירת מחדל באמצעות ELSE.Modula, If Statements, p. 17 תחביר של תנאי מלא היה נראה כך:IF n = 0 THEN
    (* n equals 0 *)
ELSIF n = 1 THEN
    (* n equals 1 *)
ELSIF n > 1 THEN
    (* n is greater than 1 *)
ELSE
    (* n is lesser than 0 *)
END

 ניתוב מקרים 
הפקודה CASE הייתה מחשבת ביטוי כלשהו ואז מבצעת קטע פקודות בהתאם לתוצאה. הקטעים סומנו בעזרת ערך קבוע או ערך מפורש.Modula, Case Statements, p. 18CASE N OF
    0: BEGIN (* N equals 0 *) END
    1: BEGIN (* N equals 1 *) END
    2: BEGIN (* N equals 2 *) END
END

 תחום שדות רשומה 
הפקודה WITH מקבלת רשומה והופכת את השדות שלה לזמינים בתוך הבלוק שלה בלי הצורך להקליד בכל פעם את הכתובת המלאה של השדה עם השם של הרשומה.WITH Account DO
    Balance := 0
END

 מבני נתונים 
מודולה הכירה בשני מבני נתונים יסודיים: מערך ורשומה.

 מערך 
מערך הוגדר בשפה בעזרת המילה השמורה ARRAY, לאחריו טווח האינדקסים, ולאחר מכן טיפוסיות המערך.Modula, Array Structures, p. 13 לדוגמה, מחרוזת באורך 80 תווים הוגדר כך:Line = ARRAY 0:79 OF CHARבנוסף, מערך רב ממדים הוגדר באמצעות רשימה של טווחים. לדוגמה, עמוד באורך 256 שורות שבכל אחת מהן יש 80 תווים הוגדר כך:Buffer = ARRAY 0:255, 0:79 OF CHARגישה לתוך מערך הייתה מתבצעת בעזרת זוג סוגריים מרובעים [] ובינם האינדקסים מסודרים ברשימה לכל ממד.Modula, Variables, pp. 14–15B: Buffer
B[0, 0] := 'C'

 רשומה 
רשומה הוגדרה בשפה בעזרת המילה השמורה RECORD ואז רשימת השדות והטיפוסיות שלהם (הסימן נקודה ופסיק ; הפריד בין השדות).Modula, Record Structures, p. 14 לדוגמה:Account = RECORD
    FirstName: ARRAY 0:255 OF CHAR;
    LastName: ARRAY 0:255 OF CHAR;
    Balance: INTEGER;
    Alive: BOOLEAN
ENDגישה לתוך שדות ברשומה הייתה מתבצעת באמצעות נקודה ..A: Account
A.Alive := TRUE

 שגרות 
מהיותה שפת תכנות פרוצדורלית, פירקנים במודולה היו עשויים להגדיר תת-תוכניות ולייצא אותם כפקודות עם שמות ייחודיים ופרמטרים. פקודות כאלה נקראות שגרות והן היו מוגדרות בעזרת המילה השמורה PROCEDURE.Modula, Procedures, pp. 19–22 שגרה היא בגדר  אם היא מחזירה ערך כלשהו, אחרת היא בגדר . פונקציה תחזיר את הערך שהוקצה למזהה שלה. הגדרת קבועים ומשתנים מקומיים התאפשרה לפני המילה BEGIN. המילה CONST הגדירה את הקבועים, בעוד המילה VAR הגדירה את המשתנים. דוגמה לפונקציה ריבועית פשוטה של מספרים שלמים  כך ש־:PROCEDURE f(n: INTEGER): INTEGER;
BEGIN
    f := n * n;
END f
קריאה לשגרה נעשתה בעזרת רשימת ערכים מתאימים לפרמטרים בתוך סוגריים עגולים () מיד אחרי שם השגרה.Modula, Procedure Calls, p. 17k := Factorial(4)

 טיפוס נמנים 
טיפוסי נמנים () הוגדרו בשפה בעזרת זוג סוגריים עגולים () ובתוכם רשימת מזהים מופרדים עם פסיק ,.Modula, Enumerations, p. 13weekdays = (Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday)

 מודולים 
תוכניות במודולה היו בנויות מרכיבים שעברו הידור נפרד זה אחר זה לפי קשר התלות בינם, רכיבים אלו כונו "מודולים" או בעברית "פירקנים."Modula, Modules, pp. 22–25 מבנה המודול הוא גם השלד הבסיסי של כל קובץ קוד מקור בשפה. הקטע הבא מתאר את מבנה המודול במודולה. בסוף מודול תמיד מופיעה נקודה.MODULE MyModule
    DEFINE f, g;    (* List of exported identifiers *)
    USE;            (* List of imported identifiers *)
    CONST;          (* List of constants *)
    VAR;            (* List of variables *)
    (* Some procedures: *)
    PROCEDURE f(x: INTEGER): INTEGER BEGIN END f;
    PROCEDURE g(x: INTEGER): INTEGER BEGIN END g;
BEGIN
    (* Statements *)
END MyModule.

 ראו גם 
 פסקל - שפת התכנות שממנה הורחבה מודולה.
 מודולה־2 - שפת התכנות שירשה את הפיתוח של מודולה.

 לקריאה נוספת 

 קישורים חיצוניים 

 דגימות קוד של מודולה ב־RosettaCode (באנגלית)

 הערות שוליים 
 אפיון השפה 

 מקורות נוספים 

קטגוריה:שפות תכנות