Пожалуйста, объясните историю Monoid в более простых терминах - PullRequest
0 голосов
/ 26 сентября 2010

Я пытался прочитать Исторический моноид, но не мог обернуться вокруг него. Может ли кто-нибудь объяснить это более простыми словами?

Спасибо

Ссылка: http://en.wikipedia.org/wiki/History_monoid

1 Ответ

1 голос
/ 30 сентября 2010

Моноид истории - это набор возможных последовательностей примитивных действий в потоках с учетом примитивов синхронизации, которые происходят в более чем одном потоке одновременно.

На самом деле это не просто набор, а моноид, что означает, что вы можете объединить последовательности, чтобы получить новую последовательность в моноиде, и есть нейтральный элемент, пустая последовательность.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...