主要观点：作者作为做过一些函数式编程的人，认为 C++有奇怪的设计选择，如 eager 求值和易导致内存安全问题，但可原谅，然而其 >>= 操作符表示右移并赋值而非类似 Haskell 的 monadic bind 操作符，通过 C++的操作符重载系统写了代码修复该问题，给出了 C++和 Haskell 实现相同功能的代码及输出，还解释了代码中相关部分的工作原理，如赋值是表达式、auto 返回类型等，提到 C++23 的 std::optional 有类似功能的.and_then()方法但未尝试。
关键信息：C++的设计问题、>>=操作符错误、代码实现与输出、赋值表达式规则、auto 返回类型问题、C++23 的 std::optional。
重要细节：Haskell 代码展示了 monadic bind 操作符的使用，C++代码通过自定义 Maybe 类型实现类似功能，解释了赋值表达式的计算过程及右结合性，说明 C++中 auto 返回类型猜测困难，提及 C++23 的 std::optional 及未尝试的情况。