David A. Wheeler scripsit:

> The "unsweeten" program could do this by reading ` as quasiquote (it
> already does that), and printing ` for quasiquote.  That latter step is
> perfectly fine for Scheme.  If that is then sent to Common Lisp via pipe
> or file, it'll work quite well.  As you note, the implementation will
> *not* actually splice in the lists, execute, and so on.  But that's
> okay; the underlying Common Lisp implementation can already read `
> (etc.) and do the right thing, we can just reuse their implementation.

Ah, I see.  Very sensible.

> I think with a few tweaks, we can make unsweeten work much better with
> Common Lisp and some other Lisps.  For Common Lisp, the main problem
> is that #' needs to mean function, and stuff like "quasiquote" needs
> to be printed as ` by unsweeten (so it can pass that text on to Common
> Lisp).

Yes, you just need a switch to say whether #'x means (syntax x) or
(function x).  The quasiquote pretty-printing can be implemented for
all Lisps.

> We should probably make it possible to print weird symbols like
> "1+" as |1+| instead of the guile-specific #{1+}.  

Lots of Schemes understand |...| syntax: see
<http://trac.sacrideo.us/wg/wiki/VerticalLineSymbols>.

-- 
Even the best of friends cannot                 John Cowan
attend each others' funeral.                    co...@ccil.org
        --Kehlog Albran, The Profit             http://www.ccil.org/~cowan

------------------------------------------------------------------------------
Minimize network downtime and maximize team effectiveness.
Reduce network management and security costs.Learn how to hire 
the most talented Cisco Certified professionals. Visit the 
Employer Resources Portal
http://www.cisco.com/web/learning/employer_resources/index.html
_______________________________________________
Readable-discuss mailing list
Readable-discuss@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/readable-discuss

Reply via email to