Oℕ
спроси у спивака
Size: a a a
2020 July 02
Oℕ
я конечно, сам люблю вбросить, что ИО - не монада, но это основывается на том, что внятного равенства пока ни у кого не вышло определить
Oℕ
а он видимо, уже рассматривает ансейф ран как легальный способ получать инфу из ИО, чтобы сделать вывод, что законы нарушаются
Oℕ
вот что называется КонкарентЭффект головного мозга
Oℕ
AD
Vasiliy
Шо?
AD
как дела
Та шо, башка болит
Oℕ
Стало интересно что такое фибрейшоны и кофибрейшоны
эх
NV
Oℕ
расскажешь?
я не знаю, я пока пытался понять кофибрейшоны, понял, что я и фибрейшоны не понимаю
Oℕ
теперь пытаюсь вдуплять
GP
Какой
NV
а он видимо, уже рассматривает ансейф ран как легальный способ получать инфу из ИО, чтобы сделать вывод, что законы нарушаются
Если сравнивать с точки зрения extensional equality, то разве ансейф ран это не единственный способ их сравнить
NV
Но не в одном конкретном случае, а универсально
Oℕ
Если сравнивать с точки зрения extensional equality, то разве ансейф ран это не единственный способ их сравнить
не единственный
Oℕ
ну если сравнивать как функции из рантайма во множество траекторий, то всё равно конечно, различие во времени аллокации не должно влиять