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

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

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

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

סעיף א'

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

סעיף ב'

חברו משוואות מתאימות לביטוי הנתון ולתתי הביטויים שלו בהתאם לחוקי ההקשה.

סעיף ג'

פתרו את המשוואות שהרכבתם בסעיף ב' תוך שימוש ב- substitution ו- unification. רשמו מהו הטיפוס הסופי.

כותרת שלב

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

if-exp

                            if (proc(x:?) x zero?(9))
                        
                            then proc(a:?) a
                        
                            else proc(b:?) b

טבלת משוואות

סעיף א' ו-ב'

Expression	Type Variable	Equations (AQ)