On Thu, Jul 10, 2008 at 2:07 PM, Yixin Cao <[EMAIL PROTECTED]> wrote: >> > >> > Yes, they are specification and implementation, while the specifications >> > are >> > not compulsory. >> > >> > Interfaces of Java work as the specification, and the classes implement >> > it. >> > The difference >> > is Java requires the class provides all methods the specified in the >> > interface, or else it >> > can only be qualified as "abstract". >> >> Java is one language. C++ is another. Haskell is yet another. >> >> > >> > OpenAxiom does not impose this type of restriction, and provides no >> > compensatory mechanism >> > to avoid run-time errors brought by this "freedom". >> > >> > ------------------------------------------------------------------------- >> >> I do not understand. >> >> -- Gaby > > > In Axiom, I can define a domain to be a member of Ring, but not actually > implement > the functions of Ring in my domain.
I do not recall this to be explicitly documented, as opposed to unfortunate consequence of incomplete checks. I do see several routines in the compiler whose purposes are to report on undefined operations. ------------------------------------------------------------------------- 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
