λ
Меня полюби уже
ты гандон, бро
Size: a a a
2021 March 07
λ
@krivdathetriewe расскажи как сделать кубернетес
AT
чем-то похож на @AntonTrunov
чем?
λ
вот когда ты не в маске и читаешь за монады
λ
то чем-то похож
λ
укуренным ебальничком
AT
укуренным ебальничком
не, я улыбаюсь в этом случае
λ
в общем есть похожие черты лица
λ
но я тебя давно не видел
AT
вечность прошла
λ
не, я улыбаюсь в этом случае
Ты в коке монады используешь для пруфов?
AT
Ты в коке монады используешь для пруфов?
смотря для чего)
но из чисто монадических законов не так уж и много можно доказать
но из чисто монадических законов не так уж и много можно доказать
λ
Ты в коке монады используешь для пруфов?
да он не юзает кок
λ
смотря для чего)
но из чисто монадических законов не так уж и много можно доказать
но из чисто монадических законов не так уж и много можно доказать
Когда последний раз слово монада писал в прод коде?
AT
Когда последний раз слово монада писал в прод коде?
прям слово “монада” давно не писал, но
let%bind в окамле пользуюсь регулярноAT
а хотя, импортировал конкретные монады, так что технически
Monad писалAT
Ты в коке монады используешь для пруфов?
завтипы же слабо модульные, приходится чаще всего с конкретным представлением работать