סימולטור - פתרון שאלת הקשת טיפוסים

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

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

proc (x:?) if (x proc (y:?) zero?(-(y,3))) then 80 else 90

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

סעיף א'

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

סעיף ב'

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

כותרת שלב

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

proc-exp

                            proc (x:?)
                        
                             if (x proc
                                (y:?)
                            zero?(-(y,3)))
                        
                             then 80
                        
                             else 90

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