Pyrefly是Meta开发的开源Python类型检查器，采用Rust实现，性能优越，旨在取代Instagram的OCaml版Pyre。它每秒可检查180万行代码，支持响应式IDE类型检查，并能自动推断未注释代码的类型，计划在夏季进入beta阶段。

TypeScript不仅是JavaScript的类型注解，其真正潜力在于类型组合、自动推断和高级操作。本文探讨了提升TypeScript技能的最佳实践，包括使用类型集合、简化类型、优先使用联合类型、利用类型谓词、控制联合类型分发、使用switch确保全面性、偏好type而非interface、使用元组、控制类型推断的特异性，以及通过类型操作避免重复代码。

类型谓词是TypeScript中的一种语法特性，允许对类型检查进行更精细的控制。它们对于缩小类型范围和创建用户定义的类型保护非常有用。随着TypeScript 5.5的发布，类型谓词在许多情况下可以自动推断。本文解释了类型谓词解决的问题及其使用方法，还讨论了TypeScript 5.5中类型谓词推断的改进。