p
я не хочу об этом спорить, у меня очень важные дела.
Какой важный. Небось там питон втихую дёргает.
Size: a a a
2020 September 02
ΑZ
сайд эффект
fn foo() -> i32 {
println!("HELLO");
10
}
эффектfoo : Console Int
foo = do
print "Hello"
42
p
сайд эффект
fn foo() -> i32 {
println!("HELLO");
10
}
эффектfoo : Console Int
foo = do
print "Hello"
42
Чем сайд эффект не верифицируем?
ΑZ
тебе нужен охуенный флоу анализ, и то я хз как ты собриаешься в этот анализ засовывать пользовательские эффекты вроде MonadRedis, HasSqlBackend и прочие
p
Ты можешь вполне верифицировать что при вызове функции произойдет вывод
ΑZ
Ты можешь вполне верифицировать что при вызове функции произойдет вывод
ты должен знать что такое PRINTLN
p
ты должен знать что такое PRINTLN
Да, это аксиома
p
Точнее не так
SP
а напомните а что верифицирует ио монадка?
p
println обозначается как производящий сайд эффект Output
ΑZ
а напомните а что верифицирует ио монадка?
ничего она не верифицирует, просто типчик со свойтсвами
p
И дальше погнали анализатором
ΑZ
println обозначается как производящий сайд эффект Output
Reader Int Int - какой Output имеет?
p
Reader Int Int - какой Output имеет?
Что такое Reader Int Int
ΑZ
монада ридер
p
Что это твкое
p
Монада не производит сайд эффекты же🧐
ΑZ
пройди второй курс москвина по хачкелю, потом рассуждай про эффкты. А то ты базовых монад не знаешь
ΑZ
Монада не производит сайд эффекты же🧐
тем не менее доступ к внешнему окружению (это Reader) являетяс эффектом
ΑZ
но никакого аутпута там нет