Assertion of Type Inference Rules/Type Checking

cs.stackexchange https://cs.stackexchange.com/questions/92268

Frage

I have a problem in a book I am trying to accomplish.

Image

I understand the overall type of the expression is boolean and how it derives. (y * x) will be rule 4 (counting from top right). (y * x) + x when evaluated will be rule 3 and the overall expression when evaluated will be rule 5.

What I want to figure out is what is the correct way to illustrate the my working? Can someone give or link an example of the correct way to answer a question like this?

Question 2 enter image description here

Proposed solution:

enter image description here

Keine korrekte Lösung

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange
scroll top