χλ
Ладно, без м
Size: a a a
2020 August 28
AI
без М в монаде не будет работать
χλ
без М в монаде не будет работать
Ну это то да, согласен
DP
Так как я особо не в теме, и эту беседу можно сказать просто скипаю, что тут происходит, типа периодически кто-то где-то собирается и начинает спорить? Что-то около того?
AI
да, в основном про типы
DP
Понял, а что, когда планируется следующая сходка? ( я пока спорить не буду, так, покричу и поболею за кого-нибудь, наберусь опыта, так сказать! )
χλ
да, в основном про типы
Зачем нужны типы, если можно просто верить?
AV
Иногда были митапы, затем онлайн митапы, первые были раз в месяц, вторые раз в неделю, но сейчас похоже все умерли
JS
Был четверг, а ничего не было
И был вечер, и было утро: день четвёртый.
AI
Земля же была безвидна и пуста, и тьма над бездною, и Дух Божий носился над водою
JS
Зачем нужны типы, если можно просто верить?
Есть один Тип, да не будет у тебя других типов.
χλ
Есть один Тип, да не будет у тебя других типов.
Сап двач, есть один тип
χλ
U
И всё принадлежит ему, даже солнце, даже Аллах
И всё принадлежит ему, даже солнце, даже Аллах
MK
Привет.
У меня есть некторые вопросы по алгебраическим эффектам, давайте обсудим.
https://gist.github.com/darkleaf/f0cbfe38eaad82cb44758aef1228287f
У меня есть некторые вопросы по алгебраическим эффектам, давайте обсудим.
https://gist.github.com/darkleaf/f0cbfe38eaad82cb44758aef1228287f
a
И был вечер, и было утро: день четвёртый.
четверг это пятый день. пятница - шестой, суббота - седьмой.
AV
американцы в треде, все в броневик!
DP
akond
четверг это пятый день. пятница - шестой, суббота - седьмой.
Ох уж эти американцы
a
американцев тогда ещё не было.
DP
akond
американцев тогда ещё не было.
Поэтому надо пользоваться нормальными днями недели
АХ
юлианские дни!