Телеграмм чат группы fp

Получается монада это просто одна большая функция, состоящая из множества мелких функций , поведение которых можно менять извне, проверяя какие то данные в промежутках между вызовами функций

источник

20:46пожаловаться #8

The Pressbraker in ФП

А она не хранит в себе данные?

источник

20:48пожаловаться #9

Eugene in ФП

монады — это шаблоны вычислений

источник

20:49пожаловаться #10

The Pressbraker in ФП

Можно ли монаду назвать супер функтором

источник

20:49пожаловаться #11

The Pressbraker in ФП

Или это просто конвейер и данные там не сохраняются

источник

20:49пожаловаться #12

Alex Gryzlov in ФП

и коку

источник

20:52пожаловаться #13

Andrey Vlasov in ФП

Почитайте исходники Reader, Writer, State, станет понятно

источник

20:57пожаловаться #14

Kir in ФП

Монада - это интерфейс. Оно требует, чтобы был объявлен метод

M<B> Then(Func<A, M<B>> callback)

источник

20:57пожаловаться #15

Alex Gryzlov in ФП

плюс законы

источник

20:57пожаловаться #16

Kir in ФП

В псевдокоде

type State s a = s -> (s, a)

instance Monad (State s) where
  ma >>= amb = \s0 ->
    let (s1, a) = ma(s0)
    let (s2, b) = amb(a)(s1)
    (s2, b)

Т.е., монада State не хранит стейт, это функция из старого стейта в (новый стейт и результат)

источник

21:00пожаловаться #17

Алексей ayaye :)... in ФП

как чистая функция может хранить данные?

источник

21:03пожаловаться #18

Kir in ФП

Человек из плюсов пришёл, предлагаю обождать с чистотой

источник

21:04пожаловаться #19

The Pressbraker in ФП

Функтор хранит же

источник

21:04пожаловаться #20