H
например она её в разных потоках вызывает
Size: a a a
2021 January 15
H
ну в таком случае да, мьютекс или типа того
CD
на самом деле, вопрос явных деклараций эффектов вроде бы закрыт провалом идеи исключений Java
H
исключения Java — это не алгебраические эффекты
H
в отличие от исключения джавы, алгебраические композируются
CD
в отличие от исключения джавы, алгебраические композируются
если ты собираешься использовать их композиции, пусть они и выводятся, кроме случаев стирания
ΑZ
а, понял. наверное принимающая сторона не просто так иммутабельность требует
короч давай вброс: если автор либы не добавил никаких эффектов то вставить отладочную печать в вызов метода я не могу? И могу сосать и не понимать почему что где у меня не работает?
CD
да, this
CD
требование декларировать это слишком много избыточности в коде
CD
закончится throws Throwable
H
если ты собираешься использовать их композиции, пусть они и выводятся, кроме случаев стирания
ну система эффектов выражается на системе типов с выводом, так что да
H
короч давай вброс: если автор либы не добавил никаких эффектов то вставить отладочную печать в вызов метода я не могу? И могу сосать и не понимать почему что где у меня не работает?
предусловия либо материализованы в коде, либо описаны человеческим языком в документации (как должно быть). если автор нигде не написал что печать это плохо, то вестимо печать это не плохо
H
лругое дело что автор мог не уследить за предусловиями. проверять что все нематериализованные предусловия выполняются — это выполнять работу вывода типов
ΑZ
предусловия либо материализованы в коде, либо описаны человеческим языком в документации (как должно быть). если автор нигде не написал что печать это плохо, то вестимо печать это не плохо
даже в идрисе есть ансейфперформио
ΑZ
что собственно и есть то что я говорю, эффект без декларации
ΑZ
потому что в релаьном мире сосать бибу из-за того что автор не описал эффект на который ему собсна насрать не очень круто
CD
тут такой вопрос - пока мы ничего не стираем, почему страдаем мы, а не компилятор
H
потому что в релаьном мире сосать бибу из-за того что автор не описал эффект на который ему собсна насрать не очень круто
если автору насрать — просто делает полиморфный эффект, нет?
CD
во всех имеющихся либах
DS
если автору насрать — просто делает полиморфный эффект, нет?
+++
Так и будет сделано в нормальных либах. Смотрите любую экосистему на эффектах через final tagless
Так и будет сделано в нормальных либах. Смотрите любую экосистему на эффектах через final tagless