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

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

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

let y = 30 in zero?((proc(x:?) -(x,5) -(y,25)))

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

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

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

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

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

כותרת שלב

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

let-exp

                            let y = 30
                        
                            in
                        
                            zero?((proc(x:?) -(x, 5) -(y,
                                25)))

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