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

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

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

let p = proc(a:?) zero?(a) in let q = proc(b:?) (p b) in (q 70)

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

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

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

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

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

כותרת שלב

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

let-exp

                            let p = proc(a:?) zero?(a)
                        
                            in let q = proc(b:?) (p b)
                        
                            in (q 70)

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