PEP 827 会把 TypeScript 那套条件类型和映射类型带进 Python。 也就是说,每个类型检查器突然都得在类型层面上跑一门小型函数式语言。 Basilisk 有干净的 Rust 内核,没有历史包袱。听起来像是个挑战。