取元素、按下标取
（每道题开头都有同一段：类型用字符串表示，列表类型写作 "list[int]"；list_of(t) 拼列表类型、elem_type(lt) 取元素类型、index_type(lt, it) 下标取一个、append_o
补全：拼出列表类型
（每道题开头都有同一段：类型用字符串表示，列表类型写作 "list[int]"；list_of(t) 拼列表类型、elem_type(lt) 取元素类型、index_type(lt, it) 下标取一个、append_o
补全：取出元素类型
（每道题开头都有同一段：类型用字符串表示，列表类型写作 "list[int]"；list_of(t) 拼列表类型、elem_type(lt) 取元素类型、index_type(lt, it) 下标取一个、append_o
补全：按下标取一个
（每道题开头都有同一段：类型用字符串表示，列表类型写作 "list[int]"；list_of(t) 拼列表类型、elem_type(lt) 取元素类型、index_type(lt, it) 下标取一个、append_o
补全：能不能追加
（每道题开头都有同一段：类型用字符串表示，列表类型写作 "list[int]"；list_of(t) 拼列表类型、elem_type(lt) 取元素类型、index_type(lt, it) 下标取一个、append_o
子类型是什么
说 A 是 B 的「子类型」，意思是【0】。
多态是什么
「多态」在类型里指的是【0】。
实参能不能传
形参要一个父类型，实参是它的子类型，能不能传？【0】。
谁是谁的子类型
（每道题开头都有同一段：PARENT 是类型的父子关系（int→num、float→num、num→any、str→any、bool→any）；is_sub(a, b) 判 a 是不是 b 的子类型（自反）；ok_arg(param, ar
这个实参能不能传
（每道题开头都有同一段：PARENT 是类型的父子关系（int→num、float→num、num→any、str→any、bool→any）；is_sub(a, b) 判 a 是不是 b 的子类型（自反）；ok_arg(param, ar