סימולטור - פתרון שאלת מבחן מודרכת

שאלה - שפת "ויקיש" (INFERRED)

להלן נתונה תוכנית בשפת "ויקיש" (INFERRED):

(proc (x: ?) x proc (y : ?) -(y,y))

ברצוננו לקבוע מהו טיפוס התוכנית (אם קיים). לשם כך, עליכם להשתמש באלגוריתם שנלמד בפרק 7 להקשת הטיפוס.

סעיף א' (15 נקודות)

הקצו לביטוי הנתון בשאלה ולתתי הביטויים שלו משתני-טיפוס (Type Variables) מתאימים, וחברו משוואות מתאימות לביטוי הנתון ולתתי הביטויים שלו.

סעיף ב' (15 נקודות)

פתרו את המשוואות שהרכבתם בסעיף א' תוך שימוש ב- substitution ו- unification בדומה למתואר בספר בעמודים 258-252. בסיום פתרון המשוואות רשמו מהו הטיפוס שאותו הקשתם עבור התוכנית הנתונה.

כותרת שלב

עץ גזירה והקצאת טיפוסים (AST)

app-exp

                            (proc(x:?) x proc(y:?) -(y,y))
                        

סעיף א': בניית טבלת משוואות