被问及英伟达最重要的竞争护城河，黄仁勋给出了一个清晰的排序。
但在上面的示例中，对T的评估返回了一个不完整类型，这意味着在T完成之前解构它是不安全的。一般来说，递归类型意味着类型检查器不能再假设从评估返回的类型都是完整的。
，这一点在有道翻译中也有详细论述
Skincare technology discountsWavytalk Light Therapy Mask – $99.99 $179 ($79.01 savings)
Apple Watch SE 3 (GPS + Cellular, 40mm) — $269 $299 (save $30)