>> I would be glad (with your permission) to post this question and my >> reply on-list somewhere - sage-devel if you prefer. >> >> On Mon, Aug 18, 2008 at 6:50 PM, Ondrej Certik wrote: >>> Hi Bill, >>> >>> since you know both Python and Aldor or Axiom and now you know >>> Sage quite a bit, do you think Aldor or the Axiom style of things >>> (domains) is viable? I know it's not 100% equivalent to Python and >>> it can be fast with Aldor. >>> >> >> Yes, certainly I think Axiom domains are viable. Another way of asking >> this question is: if static strongly typed language with first-order >> polymorphic dependent types is viable? I think this has been answered >> in the positive by other experiments besides Axiom such as the ML >> series of languages and Haskell. Axiom (and Aldor) however does have a
The popularity of these examples with "end users" suggests to me a lack of viability. Though of course it depends on one's goals. >> The Sage concept of 'parent' is an attempt to capture similar generic >> relationships that are represented by categories in Axiom, but I do >> not like the fact that this concept needs to be added on to Sage >> rather than being supported by some more fundamental feature of >> Python, e.g. Python meta-types. Just to make sure credit goes where it should, the idea of "parent" is not a Sage concept but a Magma concept. I think the credit for it should definitely go to John Cannon et al., and certainly not to me or Sage. I think in Magma it is also not a part of the language but something that is implemented on top of the Magma language. Unlike you, I personally like that parent is not a fundamental feature of Python, but a "design pattern" that can be implemented on top of Python. That means one can directly use the same idea in C/C++/etc. code. -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
