[Om] Binary Encoding in org.symcomp.openmath

[Richard Fateman]

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
>> Om at openmath.org
>> http://openmath.org/mailman/listinfo/om
>>   
>>     
>
>