PEP 827 提议在 Python 类型系统中引入强大的类型操作功能，借鉴 TypeScript 的条件和映射类型，以支持动态编程。该提案旨在缩小 Python 类型系统与复杂元编程之间的差距，满足开发者对灵活类型操作的需求，提升类型表达能力和类型检查的准确性。

C++17 引入了 std::variant，作为一种和类型（sum type），与 C 语言中的 union 不同，std::variant 处理对象的构造和析构，避免手动管理内存。通过 std::visit，可以简化对不同类型的操作，但 C++ 仍缺乏模式匹配功能，使用较为复杂。