в 20? http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0798r4.html
Джва^WШесть лет уже как пора бы. 😿
https://github.com/cplusplus/papers/issues/112 кажется, просто не успели
А зачем оно нужно? Понятно, что оно хорошо работает, когда есть поддержка монад на уровне языковых конструкций, как в хаскеле, но неужели кто-то пишет на плюсах так, как в примерах из пропозала?
Неожиданно, но я нашёл ответ на этот вопрос в p1654r1: Future ABI breaks When we tried to add monadic optionals, we were concerned that we cannot pass overload sets to callables. This (passing overload sets to callables) would require a future planned ABI breakage. (Not an ABI break taken, but one that should have been (or should be) taken) Полагаю, этот текст отсылает нас к p1170r0
Обсуждают сегодня