为什么要泛型
泛型解决的问题是【0】。
阅读更多 →
泛型是什么
「泛型」（参数化多态）指的是【0】。
阅读更多 →
补全：一次查全
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool"
阅读更多 →
补全：条件表达式检查
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool"
阅读更多 →
补全：查变量的类型
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool"
阅读更多 →
从变量推出结果类型
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool"
阅读更多 →
条件表达式的类型
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool"
阅读更多 →
推断的好处
有了类型推断，好处是【0】。
阅读更多 →
类型推断是什么
「类型推断」指的是【0】。
阅读更多 →
类型检查在做什么
「类型检查」这一步，做的是【0】。
阅读更多 →