Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)

2020 August 11

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
нормальный такой месседж типа нам можно ссать в лицо и брать заложников, все равно дружба и жвачка
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Alex Gryzlov
вообще основной лол во всей этой истории это то как путин вперёд паровоза побежал поздравлять
конечно
источник

λ

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Alex Gryzlov
нормальный такой месседж типа нам можно ссать в лицо и брать заложников, все равно дружба и жвачка
Ну а че бы нет
источник

λ

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
кто-нибудь пробовал что-то делать по алгебраическим эффеткам в скалке?
источник

λ

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Что ты имеешь ввиду
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
просто интересно положение дел и есть ли что-то что можно затащить уже
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλdog
Что ты имеешь ввиду
"алгебраические эффекты" вроде рунар делает язык под них
в целом такие более композабельные эффекты (как мне показалось)
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
не монадический подход
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
хотя Олег вроде говорил что не факт что не монады
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλzod
кто-нибудь пробовал что-то делать по алгебраическим эффеткам в скалке?
довольно много всякого было, исследовательского уровня
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
тут другое дело, что алг. эффекты без инференса такую себе ценность имеют
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
можно подробнее раскрыть?
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλzod
можно подробнее раскрыть?
тут есть два варианта, либо программист пишет какую-то спецификацию, например, с помощью аннотаций, и type-and-effect checker проверяет, что эффекты используются согласно спецификации
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Снайпер?
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
угу
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
либо есть инференс, который избавляет программиста от необходимости обкладывать кодяру аннотациями
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
и вот вэлью варианта без инференса это, скажем так, предмет дискуссии
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
и вот вэлью варианта без инференса это, скажем так, предмет дискуссии
ой, не, я не хочу спорить об определениях, лучше пойду поработаю.
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
источник