<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Does the following progression make sense, by ordinary standards of Ameringlish?<br><br>(car '((a b c) x y z)) is '(a b c)<br><br>The value of (car '((a b c) x y z)) is (a b c)<br><br>rac<br><br><br>On Oct 19, 2008, at 1:57 PM, Alan Watson wrote:<br><br><blockquote type="cite">The question at <a href="http://dynamo.iro.umontreal.ca/sw/survey/">http://dynamo.iro.umontreal.ca/sw/survey/</a> has been changed.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">The problem with regarding the (original) question as "what value does it reduce to?" and the convention that we "consider values to be a subset of expressions that do not require<br></blockquote><blockquote type="cite">further evaluation" is that there is no standard means to write such an expression that will be eqv? to the required expression. Even Eli's answer doesn't get us there, as his expression produces a value that will be equal? to the required value, but once again not necessarily eqv?. That's why I say the original question is unanswerable.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">If the original question had been, "what is the value of (car '(a b c)), we could regard 'a as a correct reply under these assumptions, because the values of both expressions will be eqv?.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Now, this depends on interpreting "is" as meaning "eqv?" rather than "equal?". However, one would not say that two different calls to (list 'a 'b 'c) produced the same value (in Standard Scheme), so I think eqv? is this correct predicate here.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Regards,<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Alan<br></blockquote><blockquote type="cite">-- <br></blockquote><blockquote type="cite">Alan Watson<br></blockquote><blockquote type="cite"><a href="http://www.alan-watson.org/">http://www.alan-watson.org/</a><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">_________________________________________________<br></blockquote><blockquote type="cite">For list-related administrative tasks:<br></blockquote><blockquote type="cite"><a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br></blockquote><br>_________________________________________________<br>For list-related administrative tasks:<br><a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a></body></html>