r
IO - монада, что и мне не запрещало говорить что вычисляет он монаду
У нас есть программа и она вычисляет. Логично. Да. С небольшим примечанием, что все сайд-эффекты только в IO.
Size: a a a
2020 May 15
DS
я не знаю что это
sumState :: (Num a) => [a] -> a
sumState xs = flip evalState 0 $ do
for_ xs $ \x -> do
n <- get
put (n + x)
get
Тут никакого IO, никакого ST, никакой магии и всёго такого. Полностью чистая функция, при этом программа императивная.
DS
Сделана целиком на чистых функциях без всякого рантайма
DS
newtype State s a = State { runState :: s -> (a,s) }
p
покажи коментарии
p
уже нашел
G
покажи коментарии
покажи мне
p
покажи мне
r
sumState :: (Num a) => [a] -> a
sumState xs = flip evalState 0 $ do
for_ xs $ \x -> do
n <- get
put (n + x)
get
Тут никакого IO, никакого ST, никакой магии и всёго такого. Полностью чистая функция, при этом программа императивная.
А, понял. Императивная - в синтаксическом смысле. Последовательность выполнения тут ненаблюдаема, так что нет и её гарантий. Стратегия вычисления определяется компилятором.
А⚙
@insert_reference_here как ты успеваешь читать? В питонисткмх чатаха меньше пишут чем в оффтопике
НИКАК СУКА НЕ УСПЕВАЮ
DS
red75prime
А, понял. Императивная - в синтаксическом смысле. Последовательность выполнения тут ненаблюдаема, так что нет и её гарантий. Стратегия вычисления определяется компилятором.
Ну не в синтаксическом. Ты тут явно описываешь императивную программу, где у тебя есть какой-то стейт с которым ты оперируешь
DS
НИКАК СУКА НЕ УСПЕВАЮ
Так ты скипай всё и участвуй только в последних обсуждениях
AZ
While I’m not a mpv maintainer, I believe it is their intention to reduce the amount of undefined behavior in the codebase. C meets those goals nicely.
оо-кей
оо-кей
r
Ну не в синтаксическом. Ты тут явно описываешь императивную программу, где у тебя есть какой-то стейт с которым ты оперируешь
Всё это рассахаривается в вызовы функций. Из императивности тут только do и свободные ассоциации State monad с императивными вычислениями.
DS
red75prime
Всё это рассахаривается в вызовы функций. Из императивности тут только do и свободные ассоциации State monad с императивными вычислениями.
Но декларативностью тут не пахнет
p
Так ты скипай всё и участвуй только в последних обсуждениях
>антон
>скипай
>скипай
G
While I’m not a mpv maintainer, I believe it is their intention to reduce the amount of undefined behavior in the codebase. C meets those goals nicely.
оо-кей
оо-кей
это троллинг или нет
p
Но декларативностью тут не пахнет
значит не ФП
DS
значит не ФП
Но тут только чистые функции и ничего кроме них, как в том определении, что ты скидывал выше