[plt-scheme] Semantics of quote

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jun 23 16:06:55 EDT 2008

'a really, truly evaluates to 'a, which means for an reduction  
semantics, you can really view 'a as a value.

But the PRINTER renders 'a as a and ''a as 'a, which you correctly  

The sad thing is that this is needlessly confusing, especially for  
beginners. It is one of the reasons we have teaching languages that  
(1) don't allow quote for anything but symbols (pop quiz: is ''a a  
symbol?) and (2) renders things as constructed values (think abstract  
or universal algebra, if you're familiar with that).

-- Matthias

Posted on the users mailing list.