S
И запрещал функции взаимодействовать
Size: a a a
2020 June 04
P
И соснуть хуйцов. Я правильно понял твою мысль?
почему соснуть?
S
Проблем солвед
G
ок, а вот если я вызываю её из моей функции, что делает что-то другое, то пользователь моей функции будет знать, что она и делает что-то другое и логирует?
ну алгебраические эффекты можно комбинировать как захочешь
L
почему соснуть?
Предлагай варианты
G
у них в F* даже иерархия есть
S
ну алгебраические эффекты можно комбинировать как захочешь
Нет
G
пожалуйста локните у него стикеры
S
Очевидно что не которые и них не комбинируются
S
пожалуйста локните у него стикеры
Пожалуйста пойди нахуй
L
Я вообще к тому, что для труъ ФП надо новый ЯП писать
G
Пожалуйста пойди нахуй
нет
P
ну алгебраические эффекты можно комбинировать как захочешь
тоесть, на самом верху, в бизнес-логике, будет куча инфы о том, что я хожу в MySQL X.X, логирую в стекдрайвер и ещё куда, хожу в редисы всякие и т.д?
P
ЧТОБ Я ТОЧНО ЭТО ЗНАЛ
G
тоесть, на самом верху, в бизнес-логике, будет куча инфы о том, что я хожу в MySQL X.X, логирую в стекдрайвер и ещё куда, хожу в редисы всякие и т.д?
ну в самом вверху ты можешь либо дофига эффектов указать или просто IO бахнуть (такой обощённый эффект)
P
ну в самом вверху ты можешь либо дофига эффектов указать или просто IO бахнуть (такой обощённый эффект)
спасибо, я уже вулкан под растом поел