Здравствуйте, hi_octane, Вы писали:

_>И добавил моноиды в презентацию — чтобы хипстеры и менеджеры были хэппи.

При чём тут хипстеры и тем более менеджеры; моноиды — обычная конструкция для инженеров.

У него, правда, неправильно названы члены шейпа: вместо Zero и + должны быть Identity и Combine(). Чтоб не ломать мозг для мультипликативного моноида, где Zero это 1, а + это *.

_>Да нужны.

Вообще да, но раньше и без них обходились, называя их policy.