On Monday, May 13, 2013 2:11:59 PM UTC-7, ManDay wrote: > > Could anyone shed a bit of light on this? > > The more I try, the more SAGE's types get in my way. >
It is pretty much understood by some people in the computer algebra system-building community that "types" or "categories" or similar concepts imposed on users who understand some mathematics (but maybe not much modern algebra) and not much about programming language design and numerical computation, will fall into holes. See what happened to Scratchpad / Axiom. It tries and maybe does as good a job as we know how to do, but users don't go for it. It is not too surprising to find people falling into holes in the Sage type system. Sorry, no easy solution to everything along these lines has emerged. So far as I can tell, Python offers no step forward, and maybe a step backward. RJF -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
