root <[EMAIL PROTECTED]> writes: | suggestion..... | | there's been a long running discussion that contains some fine points | about axiom and it's interpretetation of categories, domains, and types. | | an effort to collect, review, and summarize this discussion in either | a tutorial form or as potential axiom/aldor compiler documentation | would make for a very useful "work product". a pamphlet file with | runnable code would make it quite useful. | | anybody interested?
Funny you had to ask :-) As a consequence of the discussion, I started writing something called "Is the Riemann's Zeta Function Object-Oriented?" that discusses many points raised in the discussion -- but the current version is still preliminary. I'll post it here for feedback. Right now, I'm a middle of "grand debate" about "concepts for C++" for two or three days -- which has points in common with the the discussion on this list. However, my discussion is a bit biased so I would nto mind a "balancing" mind :-) -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
