标签:类型理论

型变三法则:协变 vs 逆变 vs 不变 2025-05-03