[om] a small suggestion re CDs
Professor James Davenport
jhd at cs.bath.ac.uk
Fri Sep 27 08:52:50 CEST 2002
On Thu, 26 Sep 2002, Andreas Strotmann wrote:
> I just noticed that there is a bit of an inconsistency in the pattern of
> arguments of operators that take both a set and a function operating on
> that set as an argument -- map, suchthat, sum, product, definite
> Some of them take the set as a first argument and the function as a
> second, some do it the other way around.
> Let's try and be more consistent in the future.
You're right: there are inconsistencies. This is in a long tradition:
different dialects of LISP differed in the order of arguments to MAPCAR as
I don't think we can change existing ones now, but I agree that more
consistency would help: I find myself having to look up each such
function. Incidentally, this does show the use of STS - at least that's
how I normally check.
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