後付けの構造

「○○は実は＊＊であるから××できる」というのは、扱いづらい。

たとえば、 環の加法群は常に可換群だからZ-加群でその意味で環の元に整数を掛けることが常にできる。 さらに言えば、整数を足すことも環の 1 に掛けてから足すと思えば自由にできる。

という現実をどうプログラムに落とし込めばいいのか。

Naive implementation and user-friendly implementation

While reading codes of NZMATH, I've noticed there are many cluttering type checks and such for user-frienliness. For speed up in the future, they seem to be going to become an obstacles; it is better to asuume the validity of inputs. In other words, 'implement naively.' On the other hand, the user-frienliness was introduced for users' (or developers' as well) convinience, and it is not negligible factor.