I see no reason to uncompress to XML. Presumably the parse tree that one gets from XML can be stored in a compressed form on disk and recreated in memory, without re-parsing. I assume that is what Lisp FASL does: builds up the appropriate symbol table and specifies the creation of links, and a simple assembler.
The only time one would need to use XML is when dealing with a program that only knows XML as text string, or perhaps when dealing with a human programmer, for whom XML was designed as some kind of external interchange format. RJF Michael Kohlhase wrote: > Richard Fateman wrote: > >> One of the obvious attributes of the notation developed by OM, and one >> that it shares with XML, is "it compresses well". ;) >> >> > while that is good for disk space and network bandwidth, does not really > help for processing. If we have to uncompress to XML, we still have the > large parsing job and the large DOM objects in memory :-( > > Michael > >> RJF >> >> >> _______________________________________________ >> Om mailing list >> [email protected] >> http://openmath.org/mailman/listinfo/om >> >> > > _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
