[om] Re: [CfD] Proposal for a Standard Change
Michael_Kohlhase at asuka.mt.cs.cmu.edu
Tue Sep 24 18:06:01 CEST 2002
[... noted thanks ...]
> I suggest that you look at the wording for the common lisp reader/writer for
> circular lists in the ANSI standard.
That is a good idea. Will do.
> I see no reason for an OM object not to be able to dominate itself, if
> I understand the document. I see lots of reasons to allow this. In
> I might actually want to encode an infinite expression. Your concern is
> probably that it could lead to difficulties in display. So fix
> the display program. Lisp has a flag called something like
I totally that this is ALSO a reasonable position and could be an
interesting proposal for a standard change.
As I noted in my previous e-mail, I encourage anyone to go ahead and make
this proposal and champion it.
I just happen to think that my proposal is less invasive (it does not
change the underlying data model), and that is why I am championing it.
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om