[Om] Binary Encoding in org.symcomp.openmath

Richard Fateman fateman at cs.berkeley.edu
Thu Feb 12 17:29:40 CET 2009


Peter seems to have implemented part of the #n#  syntax in the ANSI 
Common Lisp printer/reader
for common subexpressions. (also circular lists).
This encoding is potentially exponentially faster than the alternative.

Other kinds of compression may be faster for writing and reading. There 
is a format "FASL"
in many Lisps that could be used for OM, and might be more compact and 
faster for reading.
(Perhaps not faster for writing).

One of the obvious attributes of the notation developed by OM, and one 
that it shares with XML,  is  "it compresses well".  ;)

RJF




More information about the Om mailing list