Waldek Hebisch <[EMAIL PROTECTED]> writes:
[...] | One problem is that programmers want to write programs, for them | it is enough that their program "works". But if you design | language you need to look at all possible programs -- minimally | you need clear definition of programs which are not supposed to | work. My point is that it is tricky to give strong warranty | about function equality. Without such warranty it is easy to | write programs which "almost always" work -- that is programs | which exhibit hard to reproduce bugs. Just make it an exponential space ;-p -- Gaby, back to work ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
