Kodutöö 10
Tüübituletus
Ülesanded
Harjutame tüübituletusalgoritmi. Vaata näidet videost või loenguvideost.
Lihtsustuseks:
- ei pea kirjutama xᵅ ∈ Γ
- kitsendusi ei pea kirjutama puu sisse (mis oli slaididel roheline)
Annoteeri term, joonista tüübituletuspuu, kirjuta välja kõik kitsendused ja lahenda kogu avaldise tüüp järgnevatele avaldistele:
- ⊢ (λx. ((λy. y) x))
- ⊢ (λx. (x (λy. y)))
- ⊢ (λx. ((λy. (λz. y)) x))
- ⊢ (λx. ((λy. (λz. z)) x))
- ⊢ (λx. (x (λy. (λz. z))))
- ⊢ (λx. (x ((λz. z) x)))