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

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

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

let Cola=0 in let Fanta=1 in (proc (a: ?) zero?(if a then Cola else Fanta) zero?(Cola))

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

סעיף א'

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

סעיף ב'

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

כותרת שלב

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

let-exp

                            let Cola = 0
                        
                            in let Fanta = 1
                        
                            in (proc(a:?) zero?(if
                            a then
                            Cola else
                            Fanta) zero?(Cola))

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