Мол fuck(tits) >> wash >> show

:3

ну это всё через монадки работает ща, вот допустим есть монада Maybe<T>, принимающая значение либо Just(T), либо Nothing (типобезопасный аналог nullable значений) так вот, пусть у тебя есть два числа, завёрнутые в Maybe, и ты хочешь их сложить как ты это делаешь без do-нотации: mx = Just(42); my = Just(3); mx.bind(x => my.bind(y => Just(x + y))); // на выходе Just(45); соответственно если где-то в примере выше вместо допустим Just(3) будет Nothing, то и последняя строка будет Nothing, вот а теперь то же самое с do-нотацией: do { x <- Just(42); y <- Just(3); return Just(x + y); }

это я отвечал на сообщение что чем это отличается от анонимного скоупа, но его удалили

в общем, отличается тем, что <- внутри блока do "распаковывает" значение из монадки

do нотация это жеж императивный сахар.

ничего императивного в do-нотации нет так-то

(надеюсь меня не забанят за монадки в цепепе-чате ?)

ну это всё через монадки работает ща, вот допустим есть монада Maybe<T>, принимающая значение либо Just(T), либо Nothing (типобезопасный аналог nullable значений) так вот, пусть у тебя есть два числа, завёрнутые в Maybe, и ты хочешь их сложить как ты это делаешь без do-нотации: mx = Just(42); my = Just(3); mx.bind(x => my.bind(y => Just(x + y))); // на выходе Just(45); соответственно если где-то в примере выше вместо допустим Just(3) будет Nothing, то и последняя строка будет Nothing, вот а теперь то же самое с do-нотацией: do { x <- Just(42); y <- Just(3); return Just(x + y); }

ну do нотация как раз применяет монады в нужном месте, bind/map это всё

ML/C++

Неплохой вышел бы гибрид.

хых, template ml

Дыа.

ну это всё через монадки работает ща, вот допустим есть монада Maybe<T>, принимающая значение либо Just(T), либо Nothing (типобезопасный аналог nullable значений) так вот, пусть у тебя есть два числа, завёрнутые в Maybe, и ты хочешь их сложить как ты это делаешь без do-нотации: mx = Just(42); my = Just(3); mx.bind(x => my.bind(y => Just(x + y))); // на выходе Just(45); соответственно если где-то в примере выше вместо допустим Just(3) будет Nothing, то и последняя строка будет Nothing, вот а теперь то же самое с do-нотацией: do { x <- Just(42); y <- Just(3); return Just(x + y); }

Я с Вицентом говорил, в идеале монады будут выглядеть так: expected<double, error_condition> foo(double i, double j, double k) { auto x = try safe_divide(i, k); // return в случае ошибки auto y = try safe_divide(j, k); // return в случае ошибки return x + y; }

ну что-то похожее на do-нотацию по сути

Я с Вицентом говорил, в идеале монады будут выглядеть так: expected<double, error_condition> foo(double i, double j, double k) { auto x = try safe_divide(i, k); // return в случае ошибки auto y = try safe_divide(j, k); // return в случае ошибки return x + y; }

хм, а почему ключевое слово "try"? Монады-то разные бывают, такой синтаксис и для future был бы полезен

поведение try должно настраиваться какими-то трейтами, которые может пользователь специализировать

тоессть может и для future, и для optional, и для expected работать

Но предложение сильно сырое, кажется что даже класс expected на ближаёшем собрании не одобрят

А можно краткий курс как это должно работать (для чайников)?

А можно краткий курс как это должно работать (для чайников)?

https://en.m.wikibooks.org/wiki/Haskell/do_notation

https://en.m.wikibooks.org/wiki/Haskell/do_notation

А в более человеческой форме?) Подразумевается, что expected<Type, ErrorType> это Type либо ErrorType? Конструкция типа выше должна работать за счет неявного if () проверяющего на ErrorType и если ошибка возвращая ErrorType? Такой альтернативный способ записи строгих исключений?

Да, да, да

а как обходиться без wrap-блоков?

в смысле, ошибка может нуждаться в контекстно-зависимом уточнении

есть chain, в него ошибка проваливается - если в первой операции сломалось, остальные не выполняются

уточнение ты сделал когда возвращал expected<,Error>

у меня есть метод template <Type> expected<std::notrolls::not_null_unique_ptr<Type>, std::out_of_memory_exception> deep_clone(std::notrolls::not_null_unique_ptr<Type> object); его ошибка недостаточно показательна

Господин Полухин показывал возможный пропозал для уточнения эксепшенов, используй его.

Господин Полухин показывал возможный пропозал для уточнения эксепшенов, используй его.

Фраза, содержащая 0 информации.

https://stackoverflow.com/questions/44858395/why-is-the-template-specialization-not-chosen хех

Фраза, содержащая 0 информации.

как и твоя, так что остынь

как и твоя, так что остынь

я просто не понимаю, зачем нужна реплика в духе "загугли не знаю что", если человек изначально запрашивает обзорные сведения

bad_alloc достаточно показательная ошибка, так что непонятно чего ты хотел вообще

Продолжаем день монад! http://www.fluentcpp.com/2017/07/11/dealing-multiple-paths-vector-monad-c/

bad_alloc достаточно показательная ошибка, так что непонятно чего ты хотел вообще

ну да, я такой сижу и вижу bad_alloc в продакшене на запуске 20к строк кода и сразу понял, где я случайно использовал в 20 раз больше памяти, чем надо

Продолжаем день монад! http://www.fluentcpp.com/2017/07/11/dealing-multiple-paths-vector-monad-c/

а давайте

https://github.com/LoopPerfect/neither

ну да, я такой сижу и вижу bad_alloc в продакшене на запуске 20к строк кода и сразу понял, где я случайно использовал в 20 раз больше памяти, чем надо

когда бросаешь, делай throw bad_alloc() << __FILE__ << __LINE__; и не жужжи

https://github.com/LoopPerfect/neither

этот кстати довольно мелкий!

когда бросаешь, делай throw bad_alloc() << __FILE__ << __LINE__; и не жужжи

ага, у меня ошибка в методе deep_clone, ну теперь заживем

ага, у меня ошибка в методе deep_clone, ну теперь заживем

добавь << backtrace();

ты себя не зря в std::trolls:: засунул, прямо сочится из монитора

https://github.com/LoopPerfect/neither

Могу и своего добавить! https://github.com/raeper/aim/blob/master/headers/monad.hpp

добавь << backtrace();

а теперь если я захочу программно обрабатывать случай когда bad_alloc происходит в объекте, который может освободиться пулом параллельного потока и тогда retry?

Могу и своего добавить! https://github.com/raeper/aim/blob/master/headers/monad.hpp

Увидете ошибки в тексте — скажите, пожалйуста? Я поправлю.

> в тексте > 3.5 строчки комментов

это NP-полная проблема, нерешаемо

это мне?))))

возможно

> Tools for creating Tools to create

> Resulting container is always has Resulting container always has

я не подразумеваю случай блокировки, я подразумеваю аномальный случай когда 10 потоков неожиданно в один момент пошли работать с большими объемами данных

> в тексте > 3.5 строчки комментов

две строчки из 3.5 поправил! :P

или еще более странная проблема что два параллельных потока задействовали гарантированный резервный буфер памяти, потому что у обоих одновременно что-то пошло не так

вряд ли эксепшены тебе тут сильно помогут

две строчки из 3.5 поправил! :P

Сяп!

вряд ли эксепшены тебе тут сильно помогут

это не ошибка многопоточного доступа, это исключительная ситуация - резервный аллокатор не может выделить большой последовательный блок, который гарантированно выделится в эксклюзивной среде

чего ты ко мне прицепился, а

если ты не можешь сдизайнить свою систему - сиди и дизайни

отцепись от моих сообщений немедленно!

чую ты меня седня достанешь окончательно

и что будет?

https://www.youtube.com/watch?v=BQ5FOtvGgGw

ERROR: S client not available

предлагаю дружескую ничью

https://www.youtube.com/watch?v=BQ5FOtvGgGw

между прочим, на мой взгляд "три раза был в бильярде" ужасно снятая сцена

как бьет жеглов не то что чужой через стол, даже просто прямо в лузу сложно попасть)

я уже молчу что шар в створе лузы в американке это "!некст" сразу

неужели все это постановочное

Продолжаем теребить монадки https://www.reddit.com/r/cpp/comments/6me836/outcome_v2_is_feature_complete/

У кого вижла 17 стоит, проверьте плиз вот это

https://pastebin.com/20yfcWhD

у меня падает компилятор

неужели все это постановочное

я помню видел как на спор свояк от середины короткого борта угловым шаром в среднюю били с 10 попыток, сам пробовал - чуть-чуть не попадал)

у меня падает компилятор

ща проверим

Всем привет, ищу разработчика 1с.Участие в сопровождении конфигураций БП 3.0,ЗУП 2.5, КА 2.2. Если есть такой отзвись??, спасибо за внимание.Буду благодарен за любую обратную связь.Всем хорошего дня)

Всем привет, ищу разработчика 1с.Участие в сопровождении конфигураций БП 3.0,ЗУП 2.5, КА 2.2. Если есть такой отзвись??, спасибо за внимание.Буду благодарен за любую обратную связь.Всем хорошего дня)

\warn

Всем привет, ищу разработчика 1с.Участие в сопровождении конфигураций БП 3.0,ЗУП 2.5, КА 2.2. Если есть такой отзвись??, спасибо за внимание.Буду благодарен за любую обратную связь.Всем хорошего дня)

Тебе в чат 1сников

Всем привет, ищу разработчика 1с.Участие в сопровождении конфигураций БП 3.0,ЗУП 2.5, КА 2.2. Если есть такой отзвись??, спасибо за внимание.Буду благодарен за любую обратную связь.Всем хорошего дня)

Чатом ошиблись.

с вакансиями к @AlexFails

у меня падает компилятор

да, падает

Спасибо??

да, падает

та-дам, баг

у них есть багзилла какая-нибудь?

https://msdn.microsoft.com/ru-ru/library/mt748084.aspx

такое только находил

попробовали бы они такое в русском бильярде

это на русском, разумеется

https://vittorioromeo.info/index/blog/zeroalloc_continuations_p0.html

свояки в пуле не бьют

это на русском, разумеется

не, ну нафиг

я видел, как отцы забивали

https://vittorioromeo.info/index/blog/zeroalloc_continuations_p0.html

Блять. Вот что за люди. Пишет на C++14 и вместо вариадиков шлёпнул препроцессор.

Вот не было нужды, но всё равно!

#define FWD(...) ::std::forward<decltype(__VA_ARGS__)>(__VA_ARGS__) Вот это разве нереализуемо на вариадиках?