<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <META content="MSHTML 6.00.6000.16608" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV><FONT face=Arial size=2>Hi,</FONT></DIV> <DIV><FONT face=Arial size=2>I have a problem with quasiquote.</FONT></DIV> <DIV><FONT face=Arial size=2>Or rather, I solved the problem by making my own qausiquote.</FONT></DIV> <DIV><FONT face=Arial size=2>It probably is alright that `(a unquote (add1 2)) --> (a . 3)</FONT></DIV> <DIV><FONT face=Arial size=2>R6RS even states that in case of doubt unquote must be interpreted as an unquotation.</FONT></DIV> <DIV><FONT face=Arial><FONT size=2>I don't like that. I like:</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>`(a unquote (add1 2)) --> (a unquote (add1 2))</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>and</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>`(a . (unquote (add1 2))) --> (a . 3)</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>The syntax-e of PLT #lang scheme (and other languages in PLT) allow to discriminate between the two.</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>I like that, although I must assume that most schemers and lispers are not accustumed to the idea that</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>`(a unquote (add1 2))</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>may not be the same thing as</FONT></FONT></DIV> <DIV><FONT face=Arial><FONT size=2>`(a . (unquote (add1 2)))</FONT></FONT></DIV> <DIV><FONT face=Arial size=2>Although R6RS seems to provide a comprehensive definion of quasiquote, I do not feel comfortable with it.</FONT></DIV> <DIV><FONT face=Arial><FONT size=2>Jos</FONT></DIV></BODY></HTML></FONT>