类型系统干编译器的活，Python 也要静态安全了

在 PyTorchCon Europe 2026 上，Edward Yang 阐释张量并行难点，提出通过 SPDM 类型在类型检查阶段捕获错误。演讲介绍 torch.compile 稳定并支持动态形状、FSDP/DDP 集成降通信、量化工具新增 INT4/FP8、TorchRec/TorchServe 更新，以及对 Apple Silicon 与 AMD ROCm 的原生支持与安全工具升级。社区贡献有 torchao、torchchat，未来聚焦高效自动微分、稀疏计算及与 LLM 训练框架深度集成。