S
В смысле только платные?
мне сегодня студенты жаловались - сам не проверял
Size: a a a
2020 August 06
GP
с подключением; а как ты такой старый пост нашел?
λ
с подключением; а как ты такой старый пост нашел?
Чел. Причем тут подключение. Это прямая цитата в ответ олегу
λ
с подключением; а как ты такой старый пост нашел?
Знал что искать
λ
с подключением; а как ты такой старый пост нашел?
Это когда смотришь какой-нибудь фильм, а там отсылка на классику 50х
GP
Это когда смотришь какой-нибудь фильм, а там отсылка на классику 50х
я бы не вспомнил) хорошая память
2020 August 07
EB
Take functional programming's "algebraic reasoning" with a grain of salt: the monad laws, for example, only ensure you can reason about your imperative DSL like a C programmer reasons about statements.
EB
что-то не понял мысли Джона
S
да это все на тему "монада - аналог оператора ; из C"
S
в том смысле, что монады - способ внесения императивного программирования в ФП
EB
Джон чтоли наш чат читает
EB
Апач, моргни два раза если ты и есть Джон
S
да он давно уже на эту тему высказывается
S
Но не удивлюсь, что он тут шифруется - на zoom-тусе по поводу релиза zio упоминали какой-то "secret underground russian telegram chat"
AD
Но не удивлюсь, что он тут шифруется - на zoom-тусе по поводу релиза zio упоминали какой-то "secret underground russian telegram chat"
Мы скала подполье?
AD
Take functional programming's "algebraic reasoning" with a grain of salt: the monad laws, for example, only ensure you can reason about your imperative DSL like a C programmer reasons about statements.
Тут прекрасно все imperative dsl vs monads
a
что-то не понял мысли Джона
for {
_ <- putStrLn(...)
_ <- ref.modify(f)
...
} yield ()~=
{
println(...)
ref = f(ref)
}EB
for {
_ <- putStrLn(...)
_ <- ref.modify(f)
...
} yield ()~=
{
println(...)
ref = f(ref)
}Монада = массив = ; наканецта дискуссия закрыта
