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

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

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

let a = 10 in (if zero?(a) then proc (b:?) b else proc (c:?) 50) 90

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

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

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

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

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

כותרת שלב

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

let-exp

                            let a = 10
                        
                            in
                        
                            (if
                            zero?(a) then proc(b:?) b else proc(c:?) 50 90)

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