Монада с аккумулирующим значением

@Mysterious Light · Регистрация: 19.07.2009

Студворк — интернет-сервис помощи студентам

Добрый день.

Не могу найти описание монады, которое когда-то видел. Я сейчас его опишу, может кто-нибудь узнает. Самостоятельно написать не могу, потому что не помню тонкостей "архитектуры".

Идея заключается в том, что если имеется некоторый моноид, то его значения можно использовать как значение-характеристику для проводимых вычислений, а его умножение — как склеивание двух таких значений в одно во время последовательного выполнения операций.

Архитектура вроде похожа на монаду состояний, то есть имеет вид либо Monoid s => s -> (a,s), либо Monoid s => (a,s), где a — аргумент монады, s фиксированный моноид.

Например, возьмём строки и конкатенацию в качестве s. Тогда мы можем как бы логировать наши вычисления, писать что-то в таком духе:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
-- a x^2 + b x + c = 0
findRoot :: Double -> Double -> Double -> AccMonad String [Double]
findRoot a b c = if a == 0
  then log "Not a square eq." >> return -c/b
  else let d = b*b - 4*a*c
    in do 
      log ("d="++show d)
      if d < 0 then ... else ...
main = do
  [a,b,c,_] <- fmap word getLine
  let root = findRoot a b c in
    putStr$ getLog root
    putStr "x="
    print$ getValue root

Другой пример: допустим я написал алгоритм Эвклида нахождения НОД

Haskell
1
2
3
4
gcd x y = case compair x y of
  EQ -> x
  LT -> gcd x (y-x)
  GT -> gcd (x-y) x

и хочу написать алгоритм, определяющий, какое количество шагов было сделано. Первое, что мне приходит в голову, — окружить это выражение такой монадой относительно Sum (моноид Int относительно сложения) и написать как-то так:

Haskell
1
2
3
4
gcd x y = case compair x y of
  EQ -> return x
  LT -> inc 1 >> return (gcd x (y-x))
  GT -> inc 1 >> return (gcd (x-y) x)

тут inc выполняет ту же функцию, что и log в предыдущем примере — добавляет в смысле моноидной операции аргумент к имеющемуся значению, которое мы аккумулируем.

Кто-нибудь помнит что-то подобное? Я определенно выдел, либо в библиотеках, либо на хабре.

@Сtrl · 12.06.2013, 12:50

Монада Writer.

Новые блоги и статьи Все статьи Все блоги /
Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .
Программное заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем

@Сtrl 144 / 134 / 8 Регистрация: 19.07.2011 Сообщений: 184
	12.06.2013, 12:50
	Монада Writer. 2