渐进式类型（gradual typing）是类型理论中的正式概念，指同一语言中允许部分代码带类型标注、部分代码完全无类型，并在二者交界处依靠类型检查器自动推导或插入运行时检查来保证安全。