Size: a a a

Scala User Group

2020 August 06

S

Simon in Scala User Group
Aleksandr Khristenko
В смысле только платные?
мне сегодня студенты жаловались - сам не проверял
источник

λ

λoλcat in Scala User Group
Oleg ℕizhnik
2 speakers 1 monad
источник

GP

Grigory Pomadchin in Scala User Group
с подключением; а как ты такой старый пост нашел?
источник

λ

λoλcat in Scala User Group
Grigory Pomadchin
с подключением; а как ты такой старый пост нашел?
Чел. Причем тут подключение. Это прямая цитата в ответ олегу
источник

λ

λoλcat in Scala User Group
Grigory Pomadchin
с подключением; а как ты такой старый пост нашел?
Знал что искать
источник

λ

λoλcat in Scala User Group
Grigory Pomadchin
с подключением; а как ты такой старый пост нашел?
Это когда смотришь какой-нибудь фильм, а там отсылка на классику 50х
источник

GP

Grigory Pomadchin in Scala User Group
λoλcat
Это когда смотришь какой-нибудь фильм, а там отсылка на классику 50х
я бы не вспомнил) хорошая память
источник
2020 August 07

EB

Eugene Bosiakov in Scala User Group
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

Eugene Bosiakov in Scala User Group
что-то не понял мысли Джона
источник

S

Simon in Scala User Group
да это все на тему "монада - аналог оператора ; из C"
источник

S

Simon in Scala User Group
в том смысле, что монады - способ внесения императивного программирования в ФП
источник

EB

Eugene Bosiakov in Scala User Group
Джон чтоли наш чат читает
источник

EB

Eugene Bosiakov in Scala User Group
Апач, моргни два раза если ты и есть Джон
источник

S

Simon in Scala User Group
да он давно уже на эту тему высказывается
источник

S

Simon in Scala User Group
Но не удивлюсь, что он тут шифруется - на zoom-тусе по поводу релиза zio упоминали какой-то "secret underground russian telegram chat"
источник

AD

Apache DOG™ in Scala User Group
Simon
Но не удивлюсь, что он тут шифруется - на zoom-тусе по поводу релиза zio упоминали какой-то "secret underground russian telegram chat"
Мы скала подполье?
источник

AD

Apache DOG™ in Scala User Group
Eugene Bosiakov
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

aλeχknvl in Scala User Group
Eugene Bosiakov
что-то не понял мысли Джона
for { 
 _ <- putStrLn(...)
 _ <- ref.modify(f)
 ...
} yield ()

~=

{
 println(...)
 ref = f(ref)
}
источник

EB

Eugene Bosiakov in Scala User Group
aλeχknvl
for { 
 _ <- putStrLn(...)
 _ <- ref.modify(f)
 ...
} yield ()

~=

{
 println(...)
 ref = f(ref)
}
Монада = массив = ; наканецта дискуссия закрыта
источник

a

aλeχknvl in Scala User Group
источник