Money-моноид

[koldyr]

Обобщили бы сразу до модуля над кольцом рациональных чисел.

[windgrace]

А почему только над кольцом? Это ж поле.

[koldyr]

Поскольку поле является кольцом — не вижу противоречия. Но соглашусь с вами.

[windgrace]

Я тоже не вижу =) Но вдруг есть какие-то соображения из предметной области, из-за которых надо отказаться от обратимости по умножению (для ненулевых элементов).

[koldyr]

По слухам, некоторые экономисты не знают что такое логарифм, а вы про делители нуля.

[sshikov]

Жаль вот только к практике финансовой это все имеет очень опосредованное отношение...

[Bronx]

Наконец, если вы умножаете нейтральный элемент на что-нибудь, вы получаете нейтральный элемент. Здесь, что интересно, PlusIdentity ведет себя аналогично нейтральному элементу для операции умножения (1).

Как-то плохо сформулировано.

[Bronx]

Поясню претензию: «здесь» (т.е. при умножении), класс PlusIdentity вовсе не вёдёт себя аналогично MultiplicationIdentity. Слово «здесь» лишнее, имхо.

[e_fedorov]

Имеется в виду бинарная операция умножения:
1 • 1 • 1 = 1
Аналогично для нейтрального элемента 0 бинарной операции сложения (чуть выше по тексту):
0 + 0 + 0 = 0

[Bronx]

Это понятно, но в первом предложении не уточняется, какой именно нейтральный элемент имеется в виду — по сложению (0), или по умножению (1). Из контектса подразумевается 0*a = 0, но следующее предложение про «аналогичное поведение» сформулировано так, что можно подумать, что 1*a = 1

[alex_blank]