Changes http://wiki.axiom-developer.org/AxiomDeveloper/diff
--
mathaction-bounces@axiom-developer.org (Martin Rubey) writes:

[...]

| Do you mean that passing operations to the categories would be a feasible
| approach? I.e., being allowed to say something like
| 
| Monoid(m:(%,%)->%): Category == with
|        square: % -> %
| 
|      add
|        square a == m(a,a)

if we wanted this to work, we should make sure that "square" is not
automatically exported to the "global scope".  By default it should be
accessible/visible only through field member access syntax, e.g.

    Monoid(+).square

Of course, one can devise an abbreviation, or aliasing mechanism when
the context is unambiguous.

-- Gaby

--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]

Reply via email to