LATEX-L Archives

Mailing list for the LaTeX3 project


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: Mailing list for the LaTeX3 project <[log in to unmask]>
From: David Carlisle <[log in to unmask]>
Date: Tue, 11 Dec 2001 13:46:42 GMT
In-Reply-To: <l03130302b83bb6b2cf75@[]> (message from Lars Hellström on Tue, 11 Dec 2001 14:28:50 +0100)
Reply-To: Mailing list for the LaTeX3 project <[log in to unmask]>
Parts/Attachments: text/plain (28 lines)
    1. It's possible, because you can implement lambda calculus in TeX's
  mouth, and everything computable can be implemented in lambda calculus.
    2. It's extremely unfeasible, since it will be grotesquely slow and use
  much too much memory.
  Letting some characters retain their catcodes can let you get by with a
  smaller automaton,

This is what xmltex does, whether or not that is a feasible system I'm
not sure.

Note that in xmltex macro files are read with more or less
normal catcodes, it's just the document itself where catcodes are set up
so that catcodes are fixed and \verb problems go away (to be replaced by
other problems:-) In xmltex of course the active characaters just have
to parse xml syntax, which is rather more regular than normal latex \
and { syntax. In (la)tex (as in SGML) you need knowledge of each
individual command to parse its argument syntax but you can parse XML
wthout knowing anything specific about the commands (which is why it is
such a verbose language)


This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit or alternatively call
Star Internet for details on the Virus Scanning Service.