#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
public/ticket/10963 | Commit:
Dependencies: #11224, #8327, | 8045aa4a4b7ada735b3eb6055382f9b341a39f1e
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by vbraun):
I'm not sure what kind of argument you are trying to make with axioms
being just labels. Variables are just labels in Python, but we still pass
them around. In fact, you could use magic variable names (a.k.a. global
variables) for everything, but I think we all agree that this is bad
practice.
{{{
def sin():
arg = globals().get('x')
return math.sin(arg)
}}}
In fact, since types are just stuff that is assigned to a variable in
Python, this is precisely what this ticket does. It establishes a naming
convention for types to avoid having to pass them around. And IMHO that is
bad practice for exactly the same reasons as global variables.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:391>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
