>> Looks like the SPAD compiler is silently inserting "()+->" in a definition >> >> random: () -> Integer >> >> random == 42 > > This has been so since the base AXIOM system. > > OpenAxiom added the ability to write > > 1: % > > instead of > > 1: constant -> % > > in categories.
That's create. > The base AXIOM system has the tendency of taking the view that > everything is a function, even constants and sometime blurring > the disctinction between a nullary function and a constant (which > can be justified from some theoretical point of view). >> Ooops, Axiom doesn't let me define constants? >> http://axiom-wiki.newsynthesis.org/SandboxNullaryVsConstant > > OpenAxiom does. Great. Thank you. That makes thinking much easier. Ralf ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
