DF
Да
Size: a a a
2020 February 29
KR
Вопрос: longjmp - это тот goto, который закопали? Или он чем-то существенно отличается?
DF
Да, нелокальный гото
G
Проблема в том, что longjmp/setjmp плохо сочетается с фишками C++: https://stackoverflow.com/q/1376085/1625014
G
Вот и хотим узнать, можно ли на C++ как-то реализовать систему алг. эффектов и пользоваться ею
DF
Да, все так
МБ
Вот и хотим узнать, можно ли на C++ как-то реализовать систему алг. эффектов и пользоваться ею
То, зачем придуманы алгебраические эффекты, в ОО-языках реализуют через объекты. Поэтому вопрос: зачем нужен такой гибрид, как всегда, умножающий проблемы из двух миров?
G
То, зачем придуманы алгебраические эффекты, в ОО-языках реализуют через объекты. Поэтому вопрос: зачем нужен такой гибрид, как всегда, умножающий проблемы из двух миров?
А как через объекты это делают?
МБ
А как через объекты это делают?
Алгебраические эффекты? Ну... Никак. Если хочется писать в файл, просто создаёте объект и шлёте ему сообщения.
KR
Проблема С++ не в том, что там чего-то нельзя сделать. Проблема С++ в том, что там всё можно сделать. Вот вы забабахали какую-нибудь immutable структуру, а в вызывающем коде reinterpret_cast и всё вам переломали к чертям.
KR
И с алгебраическими эффектами будет то же самое - вы сварганите умную и замечательную систему ограничений, а пользователь вызовет fopen и положит на ограничения большой болт.
G
Алгебраические эффекты? Ну... Никак. Если хочется писать в файл, просто создаёте объект и шлёте ему сообщения.
Например, хочется относительно безопасно назад по коду пройтись, если встретился эффект
G
Но да, думаю, что это больше проблем вызовет в C++, чем решит
MM
Ближайшее что сейчас есть/разрабатывается в C++ это корутины+unified executors. Не знаю, хватит ли этого для того чтобы выразить то что вам хочется
MM
A Universal Async Abstraction for C++ | cor3ntin
https://cor3ntin.github.io/posts/executors/
https://cor3ntin.github.io/posts/executors/
Т8
И с алгебраическими эффектами будет то же самое - вы сварганите умную и замечательную систему ограничений, а пользователь вызовет fopen и положит на ограничения большой болт.
дак ССЗБ
KR
Т-34 85
дак ССЗБ
Совершенно верно: «хороший программист не делает ошибок, а если вы делаете ошибки, вы плохой программист! Сейчас же перестаньте ошибаться, и всё у вас наладится.»
Т8
Совершенно верно: «хороший программист не делает ошибок, а если вы делаете ошибки, вы плохой программист! Сейчас же перестаньте ошибаться, и всё у вас наладится.»
в расточате сегодня вспоминали историю с actix-web. Плохой программист или инструмент хреновый?
KR
Т-34 85
в расточате сегодня вспоминали историю с actix-web. Плохой программист или инструмент хреновый?
Я пас.
AZ
не в этом чате, пожалуйста