χλ
Ну и плюс само слово "алгебра" как бы не только сложение и перемножение. Так что этимологию не раскрывает
Алгебра – это алгебраическая структура над другой алгебраической структурой (вроде над полем)
Size: a a a
2020 August 28
χλ
Там сложение и умножение определено
AV
Может быть над полем, может над кольцом
AT
Но это всё неточно, к сожалению системы эффектов и фреймворки оказались слишком сложными для меня и в реальной жизни поиспользовать их мне не удалось
Это примета библиотек эффектов для Haskell. В языке со встроенной поддержкой алг. эффектов было бы получше.
АГ
Это примета библиотек эффектов для Haskell. В языке со встроенной поддержкой алг. эффектов было бы получше.
ПьюрСкрипт
AV
Кстати об эффектах, effects la'carte статья есть какая-нибудь?
АГ
Было так хорошо, что решили от них избавиться, ибо это адъ
AT
ПьюрСкрипт
А что PureScript? Там тоже нет алг. эффектов – там row types. 🤷♀️
АГ
А что PureScript? Там тоже нет алг. эффектов – там row types. 🤷♀️
Поскольку никто не знает, что это такое, то можно считать, что есть (были)
AT
Поскольку никто не знает, что это такое, то можно считать, что есть (были)
> Поскольку никто не знает, что это такое
Это, видимо, тонкий троллинг?
Это, видимо, тонкий троллинг?
AV
Я чуть-чуть вмешаюсь, но наверное говорить "никто не знает" стоит тогда когда по этой теме есть хорошая экспертиза и знакомство с state of the art.
А то судя по словам людей, которые этим занимаются, они явно знают и у них общая терминология и понимание
А то судя по словам людей, которые этим занимаются, они явно знают и у них общая терминология и понимание
АГ
> Поскольку никто не знает, что это такое
Это, видимо, тонкий троллинг?
Это, видимо, тонкий троллинг?
Если тонкий, то я сдаю позиции, я хотел толсто
AT
Если тонкий, то я сдаю позиции, я хотел толсто
AV
Так вот я понимаю частично, есть внутреняя структура:
1. внутри что-нибудь свободное free(r), operational, и т.п., + возможно с codencity / reflection w/o remoerse. Но какие вещи тут что дают, у одних явно лучше ассимптотика, но когда это важно и чем мы платим за более хорошую?
2. есть некий контекст, в котором мы собираем список хэндлеров эффектов, типа
3. Точно бывают ограничения типа local эффектов (local в Reader, или исключения), но их явно умеют обходить. Но как? И чем мы за это платим?
1. внутри что-нибудь свободное free(r), operational, и т.п., + возможно с codencity / reflection w/o remoerse. Но какие вещи тут что дают, у одних явно лучше ассимптотика, но когда это важно и чем мы платим за более хорошую?
2. есть некий контекст, в котором мы собираем список хэндлеров эффектов, типа
Eff [m::* -> *], и интерпретатор Eff, который раздаёт эффект соотвествующим handler-ам. Тут какие есть варианты в пространстве дизайна?3. Точно бывают ограничения типа local эффектов (local в Reader, или исключения), но их явно умеют обходить. Но как? И чем мы за это платим?
AV
В общем интересно, но не то, чтобы это мне было полезно
AV
Если я что-то не так понимаю, или есть куда почитать, то буду рад ссылкам и комментариям
EM
А может кто-нибудь объяснить, как получилось название "алгебраические эффекты"? Это же call/cc +)
Не это не совсем call/cc, скорее очень ограниченая его форма
Там под этим всем делом лежит довольно красивая теория на основе универсальной алгебры.
Вот тут хорошая статья
https://arxiv.org/pdf/1807.05923.pdf
Там под этим всем делом лежит довольно красивая теория на основе универсальной алгебры.
Вот тут хорошая статья
https://arxiv.org/pdf/1807.05923.pdf
EM
Если я что-то не так понимаю, или есть куда почитать, то буду рад ссылкам и комментариям
на ICFP этого года есть статья про компиляцию в лямбда исчисление с помощью CPS какого-то подмножества эффектов,
плюс в том что не нужна поддержка от рантайма, и лукап нужного хендлера можно сделать эффективнее чем в общем случае (не через линейный поиск по стеку)
https://dl.acm.org/doi/pdf/10.1145/3408975
плюс в том что не нужна поддержка от рантайма, и лукап нужного хендлера можно сделать эффективнее чем в общем случае (не через линейный поиск по стеку)
https://dl.acm.org/doi/pdf/10.1145/3408975
K
Это тип эффект, для которого можно ввести операции сложения и умножения, отвечающие законам
Мне казалось, что алгебраические они потому что интерпретаторы у них - алгебры свёртки, типа
f a -> m aAV
Может быть, я честно, сказал, что я могу ошибаться