Changes between Initial Version and Version 1 of Ticket #10963, comment 313


Ignore:
Timestamp:
01/07/14 10:50:26 (6 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 313

    initial v1  
    1616(1) The black magic should be robust.
    1717(2) The black magic should be well documented.
    18 (3) The black magic should be transparent to the casual user; that is
    19     it should be invisible most of the time, and when it appears on
    20     the surface, it should be easy to understand what it does without
    21     understanding the implementation details.
    22 (4) In particular, in case of error, the black magic should raise
    23     clear enough messages.
    24 (5) There should be a couple developers that understand the
    25     implementation details.
     18(3) The black magic should be transparent to the casual user; that is it should be invisible most of the time, and when it appears on the surface, it should be easy to understand what it does without understanding the implementation details.
     19(4) In particular, in case of error, the black magic should raise clear enough messages.
     20(5) There should be a couple developers that understand the implementation details.
    2621(6) It should be worth it :-)
    2722
     
    3328    one.
    3429
    35 (2) Granted, this is not yet up to speed. In general there is no
    36     documentation yet on how axioms work, and this should definitely
    37     be fixed. I created the follow up #15643 for this.
     30(2) Granted, this is not yet up to speed. In general there is no documentation yet on how axioms work which is very bad. I created the follow up #15643 for this.
    3831
    39 (3) From the feedback I got from users / implementers of axioms, this
    40     seems to be not so bad.
     32(3) From the feedback I got from users / implementers of axioms, this seems to be not so bad.
    4133
    4234(4) This is hopefully better now. See below.