At 15:08 -0500 1998/12/02, William F. Hammond wrote: >The point of my drafty draft on notation > > http://www.albany.edu/~hammond/gellmu/notation [please read and comment] On your idea to use types to improve on syntax checks, this is of course used in languages such as Haskell <http://haskell.org/>. This is of course way beyond the capacity of TeX. But one should not expect that such typed objects should be able to capture the math semantics, thereby resolving the problem: In computer languages, typing is still merely a tool to help producing the code, but it does not directly affect the runtime code. If one should go deeper, one should design runtime object whose behavior is affected by the type information. -- This is a question I interest myself in my programming. But the time is not right now to report on that. Hans Aberg * Email: Hans Aberg <mailto:[log in to unmask]> * Home Page: <http://www.matematik.su.se/~haberg/> * AMS member listing: <http://www.ams.org/cml/>