Assignment 4.1 - questions

Moderator: Type Systems of Programming Languages

aloifolia
Mausschubser
Mausschubser
Beiträge: 63
Registriert: 22. Sep 2011 11:37

Assignment 4.1 - questions

Beitrag von aloifolia »

4.1.1
(i) Is <n> also a value?
(ii) Should numbers not be circumvented by inequality signs?

4.1.2
(iii) What is meant by 'variable convention'? I just do not get the essence of the question...

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 4.1 - questions

Beitrag von erdweg »

aloifolia hat geschrieben:4.1.1
(i) Is <n> also a value?
yes
(ii) Should numbers not be circumvented by inequality signs?
I don't understand this question.
4.1.2
(iii) What is meant by 'variable convention'? I just do not get the essence of the question...
Well, your question is the essence of task 4.1.2. The variable convention we use goes back to Barendregt. You may find this information helpful: http://en.wikipedia.org/wiki/De_Bruijn_ ... jn_indices

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: Assignment 4.1 - questions

Beitrag von dschneid »

erdweg hat geschrieben:
(ii) Should numbers not be circumvented by inequality signs?
I don't understand this question.
I think the question is why you didn't enclose numeric constants in angled brackets in the expressions which we are to evaluate, even though the official syntax requires it.

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 4.1 - questions

Beitrag von erdweg »

Oh, I see. That was a sloppipness on my part. I fixed it, thanks.

Antworten

Zurück zu „Type Systems of Programming Languages“